Searched refs:ldtr_rsvd_high (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 762 int ldtr_rsvd_high = ((ldtr_access_rights >> 17) & 0x7FFF); local 764 assert(ldtr_rsvd_high == 0); |
Completed in 28 milliseconds