PAGE_ORDER_TO_SIZE
alloc_pages = (PAGE_ORDER_TO_SIZE(order) / psz);
gic_flush_dcache_to_poc(base, PAGE_ORDER_TO_SIZE(order));
&its->phys_base, (int)(PAGE_ORDER_TO_SIZE(order) / (int)tmp),
ids = ilog2(PAGE_ORDER_TO_SIZE(new_order) / (int)esz);
return (id < (PAGE_ORDER_TO_SIZE(baser->order) / esz));
if (idx >= (PAGE_ORDER_TO_SIZE(baser->order) / GITS_LVL1_ENTRY_SIZE))