#include "arch/processor.h"
#include "assert.h"

void
_exrtab_push(void *v)
{
    processor_t *proc = processor_current();
    proc->exrtab[proc->ert_i++] = (uintptr_t)v;
}

void*
_exrtab_pop(void)
{
    processor_t *proc = processor_current();
    
    assert(proc->ert_i != 0);
    uintptr_t r = proc->exrtab[--proc->ert_i];
    return (void*)r;
}