BTINFO_DTLB_SLOTS
bi_add(&bi_count, BTINFO_DTLB_SLOTS, sizeof(bi_count));
LOOKUP_BOOTINFO(bi_count, BTINFO_DTLB_SLOTS);