Searched refs:es_usable (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 429 bool es_usable = seg_reg_usable(es_access_rights); local 432 if (!unrestricted_guest && es_usable && (0 <= es_type && es_type <= 11)) { |
Completed in 83 milliseconds