GDB_BREAKPOINT_CAP
if (vm_set_capability(vcpus[vcpu], GDB_BREAKPOINT_CAP,
vm_set_capability(vcpu, GDB_BREAKPOINT_CAP, 1);