|
void | vmread_error (unsigned long field) |
|
void | vmwrite_error (unsigned long field, unsigned long value) |
|
void | vmclear_error (struct vmcs *vmcs, u64 phys_addr) |
|
void | vmptrld_error (struct vmcs *vmcs, u64 phys_addr) |
|
void | invvpid_error (unsigned long ext, u16 vpid, gva_t gva) |
|
void | invept_error (unsigned long ext, u64 eptp, gpa_t gpa) |
|
void | vmread_error_trampoline2 (unsigned long field, bool fault) |
|
static __always_inline void | vmcs_check16 (unsigned long field) |
|
static __always_inline void | vmcs_check32 (unsigned long field) |
|
static __always_inline void | vmcs_check64 (unsigned long field) |
|
static __always_inline void | vmcs_checkl (unsigned long field) |
|
static __always_inline unsigned long | __vmcs_readl (unsigned long field) |
|
static __always_inline u16 | vmcs_read16 (unsigned long field) |
|
static __always_inline u32 | vmcs_read32 (unsigned long field) |
|
static __always_inline u64 | vmcs_read64 (unsigned long field) |
|
static __always_inline unsigned long | vmcs_readl (unsigned long field) |
|
static __always_inline void | __vmcs_writel (unsigned long field, unsigned long value) |
|
static __always_inline void | vmcs_write16 (unsigned long field, u16 value) |
|
static __always_inline void | vmcs_write32 (unsigned long field, u32 value) |
|
static __always_inline void | vmcs_write64 (unsigned long field, u64 value) |
|
static __always_inline void | vmcs_writel (unsigned long field, unsigned long value) |
|
static __always_inline void | vmcs_clear_bits (unsigned long field, u32 mask) |
|
static __always_inline void | vmcs_set_bits (unsigned long field, u32 mask) |
|
static void | vmcs_clear (struct vmcs *vmcs) |
|
static void | vmcs_load (struct vmcs *vmcs) |
|
static void | __invvpid (unsigned long ext, u16 vpid, gva_t gva) |
|
static void | __invept (unsigned long ext, u64 eptp, gpa_t gpa) |
|
static void | vpid_sync_vcpu_single (int vpid) |
|
static void | vpid_sync_vcpu_global (void) |
|
static void | vpid_sync_context (int vpid) |
|
static void | vpid_sync_vcpu_addr (int vpid, gva_t addr) |
|
static void | ept_sync_global (void) |
|
static void | ept_sync_context (u64 eptp) |
|