rtas_work_area_reserve_arena
void rtas_work_area_reserve_arena(phys_addr_t limit);
rtas_work_area_reserve_arena(rtas_region);