Lines Matching defs:vmcs
48 #include "vmcs.h"
194 vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *retval)
215 VMPTRLD(vmcs);
220 VMCLEAR(vmcs);
226 vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val)
242 VMPTRLD(vmcs);
247 VMCLEAR(vmcs);
253 vmcs_setdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc)
263 VMPTRLD(vmcs);
276 VMCLEAR(vmcs);
281 vmcs_getdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc)
292 VMPTRLD(vmcs);
308 VMCLEAR(vmcs);
313 vmcs_set_msr_save(struct vmcs *vmcs, u_long g_area, u_int g_count)
317 VMPTRLD(vmcs);
336 VMCLEAR(vmcs);
341 vmcs_init(struct vmcs *vmcs)
354 VMPTRLD(vmcs);
429 VMCLEAR(vmcs);
436 DB_SHOW_COMMAND(vmcs, db_show_vmcs)