287 guest_paging_info(struct vcpu *vcpu, struct vm_guest_paging *paging)  in guest_paging_info()
358 guest_vaddr2paddr(struct vcpu *vcpu, uint64_t vaddr, uint64_t *paddr)  in guest_vaddr2paddr()
852 _gdb_cpu_suspend(struct vcpu *vcpu, bool report_stop)  in _gdb_cpu_suspend()
871 _gdb_set_step(struct vcpu *vcpu, int val)  in _gdb_set_step()
897 _gdb_check_step(struct vcpu *vcpu)  in _gdb_check_step()
917 gdb_cpu_add(struct vcpu *vcpu)  in gdb_cpu_add()
972 gdb_cpu_resume(struct vcpu *vcpu)  in gdb_cpu_resume()
997 gdb_cpu_suspend(struct vcpu *vcpu)  in gdb_cpu_suspend()
1025 gdb_cpu_step(struct vcpu *vcpu)  in gdb_cpu_step()
1058 gdb_cpu_debug(struct vcpu *vcpu, struct vm_exit *vmexit)  in gdb_cpu_debug()
1079 gdb_cpu_mtrap(struct vcpu *vcpu)  in gdb_cpu_mtrap()
1099 gdb_cpu_breakpoint(struct vcpu *vcpu, struct vm_exit *vmexit)  in gdb_cpu_breakpoint()
1163 gdb_step_vcpu(struct vcpu *vcpu)  in gdb_step_vcpu()
1469 	int vcpu;  in set_breakpoint_caps()  local
1740 		int vcpu;  in gdb_query()  local