kdb_cpu_clr_breakpoint
int kdb_cpu_clr_breakpoint(vm_offset_t addr);
if (kdb_cpu_clr_breakpoint(addr) != 0) {
error = kdb_cpu_clr_breakpoint((vm_offset_t)addr);