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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c141 uint64_t ldtr_access_rights, ldtr_sel; local
143 err += vmread(VMX_GUEST_LDTR_SEL, &ldtr_sel);
145 assert((ldtr_sel & SEL_TI) == 0);
H A Dvmx_vmkit.c705 uint16_t ldtr_sel = rd_ldtr(); local
806 wr_ldtr(ldtr_sel);

Completed in 26 milliseconds