Searched defs:l1_tbl_size (Results 1 – 1 of 1) sorted by relevance
927 int l1_tbl_size = GITS_BASER_NR_PAGES(baser) * SZ_64K; in vgic_its_check_id() local2520 int l1_tbl_size = GITS_BASER_NR_PAGES(baser) * SZ_64K; in vgic_its_restore_device_tables() local