Searched refs:sys_debug_flush_tlb (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/include/barrelfish/ | ||
H A D | sys_debug.h | 42 errval_t sys_debug_flush_tlb(void); |
/barrelfish-master/lib/barrelfish/ | ||
H A D | sys_debug.c | 78 errval_t sys_debug_flush_tlb(void) function |
Completed in 32 milliseconds