Searched refs:ldtr_rsvd_low (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 761 int ldtr_rsvd_low = ((ldtr_access_rights >> 8) & 0xF); local 763 assert(ldtr_rsvd_low == 0); |
Completed in 9 milliseconds