NUM_L4_SLOT_DIRECT
if (i >= L4_SLOT_DIRECT && i < L4_SLOT_DIRECT + NUM_L4_SLOT_DIRECT)
uint64_t max_dm_size = ((uint64_t)512 * NUM_L4_SLOT_DIRECT) << 30;
for (i = 0; i < NUM_L4_SLOT_DIRECT; i++)
for (curslot = 1 ; curslot < NUM_L4_SLOT_DIRECT ; curslot++) {
#define L4_SLOT_DIRECT (L4_SLOT_KERNBASE - NUM_L4_SLOT_DIRECT)
NUM_L4_SLOT_DIRECT) * NBPD_L4)))