LPI_PENDBASE_SZ
pend_page = its_alloc_pages(gfp_flags | __GFP_ZERO, get_order(LPI_PENDBASE_SZ));
gic_flush_dcache_to_poc(page_address(pend_page), LPI_PENDBASE_SZ);
its_free_pages(page_address(pt), get_order(LPI_PENDBASE_SZ));
WARN_ON(!gic_check_reserved_range(paddr, LPI_PENDBASE_SZ));
LPI_PENDBASE_SZ);
WARN_ON(gic_reserve_range(paddr, LPI_PENDBASE_SZ));