Lines Matching defs:vmcs
45 #include "vmcs.h"
183 vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *retval)
204 VMPTRLD(vmcs);
209 VMCLEAR(vmcs);
215 vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val)
231 VMPTRLD(vmcs);
236 VMCLEAR(vmcs);
242 vmcs_setdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc)
252 VMPTRLD(vmcs);
265 VMCLEAR(vmcs);
270 vmcs_getdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc)
281 VMPTRLD(vmcs);
297 VMCLEAR(vmcs);
302 vmcs_set_msr_save(struct vmcs *vmcs, u_long g_area, u_int g_count)
306 VMPTRLD(vmcs);
325 VMCLEAR(vmcs);
330 vmcs_init(struct vmcs *vmcs)
344 VMPTRLD(vmcs);
429 VMCLEAR(vmcs);
436 DB_SHOW_COMMAND(vmcs, db_show_vmcs)