223 guest_paging_info(struct vcpu *vcpu, struct vm_guest_paging *paging)  in guest_paging_info()
267 guest_vaddr2paddr(struct vcpu *vcpu, uint64_t vaddr, uint64_t *paddr)  in guest_vaddr2paddr()
747 _gdb_cpu_suspend(struct vcpu *vcpu, bool report_stop)  in _gdb_cpu_suspend()
766 gdb_cpu_add(struct vcpu *vcpu)  in gdb_cpu_add()
801 gdb_cpu_resume(struct vcpu *vcpu)  in gdb_cpu_resume()
826 gdb_cpu_suspend(struct vcpu *vcpu)  in gdb_cpu_suspend()
854 gdb_cpu_mtrap(struct vcpu *vcpu)  in gdb_cpu_mtrap()
895 gdb_cpu_breakpoint(struct vcpu *vcpu, struct vm_exit *vmexit)  in gdb_cpu_breakpoint()
951 gdb_step_vcpu(struct vcpu *vcpu)  in gdb_step_vcpu()
1251 	int vcpu;  in set_breakpoint_caps()  local
1516 		int vcpu;  in gdb_query()  local