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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h227 #define VMX_HOST_TR_BASE 0x6C0A // Host TR base macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c485 err += vmwrite(VMX_HOST_TR_BASE, tr_addr(rd_tr(), gdtr_addr(rd_gdtr())));

Completed in 97 milliseconds