Searched defs:invoke_monitor_get_arch_id (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/monitor/include/
H A Dmonitor_invocations.h195 invoke_monitor_get_arch_id(uintptr_t *arch_id) function
/barrelfish-master/usr/monitor/include/arch/x86_32/
H A Dmonitor_invocations_arch.h168 invoke_monitor_get_arch_id(uintptr_t *arch_id) function

Completed in 85 milliseconds