si_addr
thunk_printf_debug("\tsi_addr = %p\n", info->si_addr);
thunk_printf("\tsi_addr = %p\n", info->si_addr);
thunk_printf("%p : ", info->si_addr);
thunk_printf("%02x ", *((uint8_t *) info->si_addr + i));
va = (vaddr_t) info->si_addr;
ATF_REQUIRE_EQ(info->si_addr, (void *)0);
printf("si_addr = %p\n", info->si_addr);
ATF_REQUIRE_EQ(info->si_addr, (volatile void *)addr);
code, si->si_addr, si->si_trap);