Symbol: srmmu_allocate_ptable_skeleton