gdb_cpu_breakpoint
gdb_cpu_breakpoint(vcpu, vme);
void gdb_cpu_breakpoint(struct vcpu *vcpu, struct vm_exit *vmexit);