SLAREA_MAIN
va = slotspace_rand(SLAREA_MAIN, NKL4_MAX_ENTRIES * NBPD_L4,
#define L4_SLOT_KERN slotspace.area[SLAREA_MAIN].sslot