LPI_PROPBASE_SZ
memset(va, lpi_prop_prio | LPI_PROP_GROUP1, LPI_PROPBASE_SZ);
gic_flush_dcache_to_poc(va, LPI_PROPBASE_SZ);
get_order(LPI_PROPBASE_SZ));
its_free_pages(page_address(prop_page), get_order(LPI_PROPBASE_SZ));
LPI_PROPBASE_SZ,
LPI_PROPBASE_SZ));
return gic_check_reserved_range(addr, LPI_PROPBASE_SZ);