104 GETREG(struct vmctx *ctx, int vcpu, int reg)  in GETREG()
115 SETREG(struct vmctx *ctx, int vcpu, int reg, uint64_t val)  in SETREG()
155 sel_exception(struct vmctx *ctx, int vcpu, int vector, uint16_t sel, int ext)  in sel_exception()
177 desc_table_limit_check(struct vmctx *ctx, int vcpu, uint16_t sel)  in desc_table_limit_check()
207 desc_table_rw(struct vmctx *ctx, int vcpu, struct vm_guest_paging *paging,  in desc_table_rw()
235 desc_table_read(struct vmctx *ctx, int vcpu, struct vm_guest_paging *paging,  in desc_table_read()
242 desc_table_write(struct vmctx *ctx, int vcpu, struct vm_guest_paging *paging,  in desc_table_write()
256 read_tss_descriptor(struct vmctx *ctx, int vcpu, struct vm_task_switch *ts,  in read_tss_descriptor()
312 validate_seg_desc(struct vmctx *ctx, int vcpu, struct vm_task_switch *ts,  in validate_seg_desc()
438 tss32_save(struct vmctx *ctx, int vcpu, struct vm_task_switch *task_switch,  in tss32_save()
471 update_seg_desc(struct vmctx *ctx, int vcpu, int reg, struct seg_desc *sd)  in update_seg_desc()
483 tss32_restore(struct vmctx *ctx, int vcpu, struct vm_task_switch *ts,  in tss32_restore()
627 push_errcode(struct vmctx *ctx, int vcpu, struct vm_guest_paging *paging,  in push_errcode()
707 vmexit_task_switch(struct vmctx *ctx, struct vm_exit *vmexit, int *pvcpu)  in vmexit_task_switch()