194 vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *retval)  in vmcs_getreg()  argument
215 		VMPTRLD(vmcs);  in vmcs_getreg()
220 		VMCLEAR(vmcs);  in vmcs_getreg()
226 vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val)  in vmcs_setreg()  argument
242 		VMPTRLD(vmcs);  in vmcs_setreg()
247 		VMCLEAR(vmcs);  in vmcs_setreg()
253 vmcs_setdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc)  in vmcs_setdesc()  argument
263 		VMPTRLD(vmcs);  in vmcs_setdesc()
276 		VMCLEAR(vmcs);  in vmcs_setdesc()
281 vmcs_getdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc)  in vmcs_getdesc()  argument
292 		VMPTRLD(vmcs);  in vmcs_getdesc()
308 		VMCLEAR(vmcs);  in vmcs_getdesc()
313 vmcs_set_msr_save(struct vmcs *vmcs, u_long g_area, u_int g_count)  in vmcs_set_msr_save()  argument
317 	VMPTRLD(vmcs);  in vmcs_set_msr_save()
336 	VMCLEAR(vmcs);  in vmcs_set_msr_save()
341 vmcs_init(struct vmcs *vmcs)  in vmcs_init()  argument
354 	VMPTRLD(vmcs);  in vmcs_init()
429 	VMCLEAR(vmcs);  in vmcs_init()
435 vmcs_getany(struct vmcs *vmcs, int running, int ident, uint64_t *val)  in vmcs_getany()  argument
440 		VMPTRLD(vmcs);  in vmcs_getany()
445 		VMCLEAR(vmcs);  in vmcs_getany()
451 vmcs_setany(struct vmcs *vmcs, int running, int ident, uint64_t val)  in vmcs_setany()  argument
456 		VMPTRLD(vmcs);  in vmcs_setany()
461 		VMCLEAR(vmcs);  in vmcs_setany()
467 vmcs_snapshot_reg(struct vmcs *vmcs, int running, int ident,  in vmcs_snapshot_reg()  argument
474 		ret = vmcs_getreg(vmcs, running, ident, &val);  in vmcs_snapshot_reg()
482 		ret = vmcs_setreg(vmcs, running, ident, val);  in vmcs_snapshot_reg()
495 vmcs_snapshot_desc(struct vmcs *vmcs, int running, int seg,  in vmcs_snapshot_desc()  argument
502 		ret = vmcs_getdesc(vmcs, running, seg, &desc);  in vmcs_snapshot_desc()
514 		ret = vmcs_setdesc(vmcs, running, seg, &desc);  in vmcs_snapshot_desc()
527 vmcs_snapshot_any(struct vmcs *vmcs, int running, int ident,  in vmcs_snapshot_any()  argument
534 		ret = vmcs_getany(vmcs, running, ident, &val);  in vmcs_snapshot_any()
542 		ret = vmcs_setany(vmcs, running, ident, val);  in vmcs_snapshot_any()
558 DB_SHOW_COMMAND(vmcs, db_show_vmcs)  in DB_SHOW_COMMAND()  argument