trap0
[VECI_TRAP0] = trap0, /* syscalls */
extern char trap0[];
static void trap0(void *);
if ((uintptr_t)trap0 < 0x2000000) {
p[1] = 0x48000002 | (uintptr_t) trap0;