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

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dconstants.h27 #define seL4_X86_VCPUBits seL4_VCPUBits macro

Completed in 9 milliseconds