send_sigsegv
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS,
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
static inline void send_sigsegv(intptr_t, uint32_t, struct trapframe *,
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_ST, tf, cause);
send_sigsegv(vaddr, T_TLB_ST_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);
send_sigsegv(vaddr, T_ADDR_ERR_LD, tf, cause);
send_sigsegv(vaddr, T_TLB_LD_MISS, tf, cause);