Searched refs:baser_device_table (Results 1 – 2 of 2) sorted by relevance
1179 if (!vgic_its_check_id(its, its->baser_device_table, device_id, NULL)) in vgic_its_cmd_handle_mapd()1629 reg = its->baser_device_table; in vgic_mmio_read_its_baser()1658 regptr = &its->baser_device_table; in vgic_mmio_write_its_baser()1724 (!(its->baser_device_table & GITS_BASER_VALID) || in vgic_mmio_write_its_ctlr()1918 its->baser_device_table = INITIAL_BASER_VALUE | in vgic_its_create()2354 u64 baser = its->baser_device_table; in vgic_its_save_device_tables()2424 u64 baser = its->baser_device_table; in vgic_its_restore_device_tables()2609 its->baser_device_table &= ~GITS_BASER_ENTRY_SIZE_MASK; in vgic_its_commit_v0()2614 its->baser_device_table |= (GIC_ENCODE_SZ(abi->dte_esz, 5) in vgic_its_commit_v0()2623 its->baser_device_table &= ~GITS_BASER_VALID; in vgic_its_reset()
194 u64 baser_device_table; member
Completed in 9 milliseconds