Lines Matching defs:vmcs
10 #include "vmcs.h"
15 void vmclear_error(struct vmcs *vmcs, u64 phys_addr);
16 void vmptrld_error(struct vmcs *vmcs, u64 phys_addr);
287 static inline void vmcs_clear(struct vmcs *vmcs)
289 u64 phys_addr = __pa(vmcs);
291 vmx_asm1(vmclear, "m"(phys_addr), vmcs, phys_addr);
294 static inline void vmcs_load(struct vmcs *vmcs)
296 u64 phys_addr = __pa(vmcs);
301 vmx_asm1(vmptrld, "m"(phys_addr), vmcs, phys_addr);