aarch64_watchpoint_set
aarch64_watchpoint_set(i, 0, 0, 0);
aarch64_watchpoint_set(i,
void aarch64_watchpoint_set(int, vaddr_t, u_int, u_int);