Searched refs:GIC_PAGE_SIZE_4K (Results 1 – 2 of 2) sorted by relevance
106 #define GIC_PAGE_SIZE_4K 0ULL macro
2854 case GIC_PAGE_SIZE_4K: in allocate_vpe_l2_table()2947 gpsz = GIC_PAGE_SIZE_4K; in allocate_vpe_l1_table()2949 case GIC_PAGE_SIZE_4K: in allocate_vpe_l1_table()