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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h210 #define VMX_GUEST_TR_BASE 0x6814 // Guest TR base macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c603 err += vmwrite(VMX_GUEST_TR_BASE, 0x0);
661 err += vmwrite(VMX_GUEST_TR_BASE, 0x0);
859 err += vmread(VMX_GUEST_TR_BASE, &guest_tr_base);
H A Dvmx_checks.c165 errval_t err = vmread(VMX_GUEST_TR_BASE, &tr_base);
1050 err += vmread(VMX_GUEST_TR_BASE, &tr_base);

Completed in 34 milliseconds