BTLB_SET_SIZE
KASSERT(btlb_j < BTLB_SET_SIZE);
vaddr_t btlb_entry_start[BTLB_SET_SIZE];
vsize_t btlb_entry_size[BTLB_SET_SIZE];
int btlb_entry_vm_prot[BTLB_SET_SIZE];
KASSERT(btlb_j < BTLB_SET_SIZE);