generic_bs_fault
frame->tf_elr = (uint64_t)generic_bs_fault;
void generic_bs_fault(void) __asm(__STRING(generic_bs_fault));