ace65b4
1 2 3 4
#include "arch/processor.h" page_directory_t *pd_current(void) { return processor_current()->pd; } tcb_t *tcb_current(void) { return processor_current()->tcb; }