Searched refs:DEBUG_FLUSH_TLB (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dsys_debug.h23 DEBUG_FLUSH_TLB, enumerator in enum:debug_message
/barrelfish-master/lib/barrelfish/
H A Dsys_debug.c80 return syscall2(SYSCALL_DEBUG, DEBUG_FLUSH_TLB).error;
/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c1788 case DEBUG_FLUSH_TLB:

Completed in 36 milliseconds