194 vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *retval)  in vmcs_getreg()
226 vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val)  in vmcs_setreg()
253 vmcs_setdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc)  in vmcs_setdesc()
281 vmcs_getdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc)  in vmcs_getdesc()
313 vmcs_set_msr_save(struct vmcs *vmcs, u_long g_area, u_int g_count)  in vmcs_set_msr_save()
341 vmcs_init(struct vmcs *vmcs)  in vmcs_init()
435 vmcs_getany(struct vmcs *vmcs, int running, int ident, uint64_t *val)  in vmcs_getany()
451 vmcs_setany(struct vmcs *vmcs, int running, int ident, uint64_t val)  in vmcs_setany()
467 vmcs_snapshot_reg(struct vmcs *vmcs, int running, int ident,  in vmcs_snapshot_reg()
495 vmcs_snapshot_desc(struct vmcs *vmcs, int running, int seg,  in vmcs_snapshot_desc()
527 vmcs_snapshot_any(struct vmcs *vmcs, int running, int ident,  in vmcs_snapshot_any()
558 DB_SHOW_COMMAND(vmcs, db_show_vmcs)  in DB_SHOW_COMMAND()  argument