#include "arch/processor.h"

page_directory_t *pd_current(void) { return processor_current()->pd; }
tcb_t *tcb_current(void) { return processor_current()->tcb; }