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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h140 #define VMX_VMREAD_BMP_F 0x2026 // VMREAD-bitmap address (full) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c1311 err += vmread(VMX_VMREAD_BMP_F, &vmread_bitmap_addr);

Completed in 31 milliseconds