BTINFO_ITLB_SLOTS
bi_add(&bi_count, BTINFO_ITLB_SLOTS, sizeof(bi_count));
bi_count = lookup_bootinfo(BTINFO_ITLB_SLOTS);