PMAP_STATIC
if (map_tail == &pre_init[PMAP_STATIC])
current = pre_init[PMAP_STATIC].pml_next;
struct pmaplist pre_init[PMAP_STATIC + 1] = {
struct pmaplist *map_tail = &pre_init[PMAP_STATIC];