Searched refs:VMX_ENTRY_MSR_LOAD_H (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/barrelfish_kpi/ | ||
| H A D | vmx_encodings.h | 115 #define VMX_ENTRY_MSR_LOAD_H 0x200B // VM-entry MSR-load address (high) macro |
Completed in 36 milliseconds