Searched refs:ldtr_type (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 301 int ldtr_type = seg_access_type(ldtr_access_rights); local 302 assert(ldtr_type == 2); |
Completed in 12 milliseconds