PKMAP_END
#define PKMAP_BASE (PKMAP_END - PAGE_SIZE * LAST_PKMAP)
srmmu_allocate_ptable_skeleton(PKMAP_BASE, PKMAP_END);