pid_t pid = s ? s->pid() : Boot_info::pid();
if (!Usermode::write_debug_register(pid, reg, val))
printf("[write %08lx to debugreg #%d task %p/%lx failed]\n", val, reg, s,
pid_t pid = s ? s->pid() : Boot_info::pid();
if (!Usermode::write_debug_register(pid, reg, val))
printf("[write %08lx to debugreg #%d task %p/%lx failed]\n", val, reg, s,