Searched defs:bmk_platform_splhigh (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dkernel.c37 bmk_platform_splhigh(void) function
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dkernel.c75 bmk_platform_splhigh(void) function
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dkernel.c98 bmk_platform_splhigh(void) function

Completed in 97 milliseconds