DIRECT_MAP_START_MASK
((pmap_direct_rand & DIRECT_MAP_START_MASK) * NBPD_L4))));
(pmap_direct_rand & DIRECT_MAP_START_MASK);
#if (DIRECT_MAP_START_CHOICES & DIRECT_MAP_START_MASK) != 0