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