LIMA_PAGE_ENT_NUM
for (k = 0; k < LIMA_PAGE_ENT_NUM; k++) {
#define LIMA_VM_NUM_BT (LIMA_PAGE_ENT_NUM >> LIMA_VM_NUM_PT_PER_BT_SHIFT)