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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h124 #define VMX_PID_F 0x2016 // Posted-interrupt descriptor address (full) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c1294 err += vmread(VMX_PID_F, &pid_addr);

Completed in 84 milliseconds