Searched refs:check_vmx_controls_ept (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 1118 static void check_vmx_controls_ept(void) function 1324 check_vmx_controls_ept(); |
Completed in 13 milliseconds