113 GETREG(struct vcpu *vcpu, int reg)  in GETREG()
124 SETREG(struct vcpu *vcpu, int reg, uint64_t val)  in SETREG()
164 sel_exception(struct vcpu *vcpu, int vector, uint16_t sel, int ext)  in sel_exception()
186 desc_table_limit_check(struct vcpu *vcpu, uint16_t sel)  in desc_table_limit_check()
216 desc_table_rw(struct vcpu *vcpu, struct vm_guest_paging *paging,  in desc_table_rw()
244 desc_table_read(struct vcpu *vcpu, struct vm_guest_paging *paging,  in desc_table_read()
251 desc_table_write(struct vcpu *vcpu, struct vm_guest_paging *paging,  in desc_table_write()
265 read_tss_descriptor(struct vcpu *vcpu, struct vm_task_switch *ts,  in read_tss_descriptor()
321 validate_seg_desc(struct vcpu *vcpu, struct vm_task_switch *ts,  in validate_seg_desc()
447 tss32_save(struct vcpu *vcpu, struct vm_task_switch *task_switch,  in tss32_save()
480 update_seg_desc(struct vcpu *vcpu, int reg, struct seg_desc *sd)  in update_seg_desc()
492 tss32_restore(struct vmctx *ctx, struct vcpu *vcpu, struct vm_task_switch *ts,  in tss32_restore()
780 push_errcode(struct vcpu *vcpu, struct vm_guest_paging *paging,  in push_errcode()
860 vmexit_task_switch(struct vmctx *ctx, struct vcpu *vcpu, struct vm_exit *vmexit)  in vmexit_task_switch()