srmmu_early_allocate_ptable_skeleton
static void srmmu_early_allocate_ptable_skeleton(unsigned long start,
srmmu_early_allocate_ptable_skeleton(SRMMU_NOCACHE_VADDR, srmmu_nocache_end);