KPD_REDZONE
if ((flags & KPD_HASREDZONE) && KPD_REDZONE(kpd) == i)
redzone = KPD_REDZONE(kpd);
btop((uintptr_t)(vaddr - kpd->kp_base)) == KPD_REDZONE(kpd))