Searched refs:accessed_dirty (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 1159 bool accessed_dirty = ia32_vmx_ept_vpid_ept_adf_extract(ept_vpid_msr); local 1160 if (!accessed_dirty) { |
Completed in 29 milliseconds