Searched refs:ldtr_access_rights (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c141 uint64_t ldtr_access_rights, ldtr_sel; local
142 err += vmread(VMX_GUEST_LDTR_ACCESS, &ldtr_access_rights);
144 if (seg_reg_usable(ldtr_access_rights)) {
178 uint64_t ldtr_access_rights; local
179 err += vmread(VMX_GUEST_LDTR_ACCESS, &ldtr_access_rights);
180 if (seg_reg_usable(ldtr_access_rights)) {
298 uint64_t ldtr_access_rights; local
299 err += vmread(VMX_GUEST_LDTR_ACCESS, &ldtr_access_rights);
300 if (seg_reg_usable(ldtr_access_rights)) {
301 int ldtr_type = seg_access_type(ldtr_access_rights);
362 uint64_t ldtr_access_rights; local
528 uint64_t ldtr_access_rights; local
671 uint64_t ldtr_access_rights; local
758 uint64_t ldtr_access_rights; local
[all...]

Completed in 15 milliseconds