2064 vmx_paging_info(struct vm_guest_paging *paging)  in vmx_paging_info()  argument
2066 	paging->cr3 = vmcs_guest_cr3();  in vmx_paging_info()
2067 	paging->cpl = vmx_cpl();  in vmx_paging_info()
2068 	paging->cpu_mode = vmx_cpu_mode();  in vmx_paging_info()
2069 	paging->paging_mode = vmx_paging_mode();  in vmx_paging_info()
2075 	struct vm_guest_paging *paging;  in vmexit_inst_emul()  local
2078 	paging = &vmexit->u.inst_emul.paging;  in vmexit_inst_emul()
2084 	vmx_paging_info(paging);  in vmexit_inst_emul()
2085 	switch (paging->cpu_mode) {  in vmexit_inst_emul()
2471 		vmx_paging_info(&ts->paging);  in vmx_exit_process()
2645 			vmx_paging_info(&vis->paging);  in vmx_exit_process()
2753 			vmexit->u.paging.gpa = gpa;  in vmx_exit_process()
2754 			vmexit->u.paging.fault_type = ept_fault_type(qual);  in vmx_exit_process()