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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h80 #define VMX_GUEST_LDTR_LIM 0x480C // Guest LDTR limit macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c575 err += vmwrite(VMX_GUEST_LDTR_LIM, 0xFFFF);
633 err += vmwrite(VMX_GUEST_LDTR_LIM, 0xFFFF);
864 err += vmread(VMX_GUEST_LDTR_LIM, &guest_ldtr_lim);
H A Dvmx_checks.c676 err += vmread(VMX_GUEST_LDTR_LIM, &ldtr_lim);

Completed in 93 milliseconds