Searched refs:GITS_BASER_TYPE_DEVICE (Results 1 – 5 of 5) sorted by relevance
938 case GITS_BASER_TYPE_DEVICE: in vgic_its_check_id()1729 table_type = GITS_BASER_TYPE_DEVICE; in vgic_mmio_write_its_baser()1755 case GITS_BASER_TYPE_DEVICE: in vgic_mmio_write_its_baser()2000 ((u64)GITS_BASER_TYPE_DEVICE << GITS_BASER_TYPE_SHIFT); in vgic_its_create()
335 #define GITS_BASER_TYPE_DEVICE 1ULL macro
1458 case GITS_BASER_TYPE_DEVICE: in extract_table_params()1974 GITS_BASER_TYPE_DEVICE); in gicv3_its_reset_hold()
486 #define GITS_BASER_TYPE_DEVICE 1 macro
2283 [GITS_BASER_TYPE_DEVICE] = "Devices",2625 case GITS_BASER_TYPE_DEVICE: in its_alloc_tables()3343 baser = its_get_baser(its, GITS_BASER_TYPE_DEVICE); in its_alloc_device_table()