BOOT_KVA
if (booted < BOOT_KVA)
booted = BOOT_KVA;
KASSERT(booted >= BOOT_KVA, ("Bucket enable before init"));
if (__predict_false(booted < BOOT_KVA))