Lines Matching defs:vmcs
11 #include "vmcs.h"
19 void vmclear_error(struct vmcs *vmcs, u64 phys_addr);
20 void vmptrld_error(struct vmcs *vmcs, u64 phys_addr);
238 static inline void vmcs_clear(struct vmcs *vmcs)
240 u64 phys_addr = __pa(vmcs);
242 vmx_asm1(vmclear, "m"(phys_addr), vmcs, phys_addr);
245 static inline void vmcs_load(struct vmcs *vmcs)
247 u64 phys_addr = __pa(vmcs);
252 vmx_asm1(vmptrld, "m"(phys_addr), vmcs, phys_addr);