fbt_trampoline
ASSERT(fbt_trampoline == NULL);
fbt_trampoline = tramp & PAGEMASK;
(void) as_pagelock(&kas, &ppl, (caddr_t)fbt_trampoline,
hat_getpfnum(kas.a_hat, (caddr_t)fbt_trampoline + offs),
as_pageunlock(&kas, ppl, (caddr_t)fbt_trampoline, fbt_trampoline_size,
ASSERT(fbt_trampoline != NULL);
sync_icache((caddr_t)fbt_trampoline, fbt_trampoline_size);
fbt_trampoline = 0;
static uintptr_t fbt_trampoline;