aarch64_breakpoint_set
aarch64_breakpoint_set(i, 0);
aarch64_breakpoint_set(i,
void aarch64_breakpoint_set(int, vaddr_t);