Searched refs:sec_ctls_set (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 50 bool sec_ctls_set = sec_ctls_used(pp_controls); local 51 assert(sec_ctls_set == true); |
Completed in 32 milliseconds