Searched refs:itt_addr (Results 1 – 2 of 2) sorted by relevance
| /openbmc/linux/arch/arm64/kvm/vgic/ |
| H A D | vgic-its.c | 124 gpa_t itt_addr; member
860 gpa_t gpa = device->itt_addr + ite->event_id * ite_esz; in vgic_its_cmd_handle_discard()
1010 gpa = device->itt_addr + event_id * ite_esz; in vgic_its_check_event_id()
1189 u32 device_id, gpa_t itt_addr, in vgic_its_alloc_device() argument
1199 device->itt_addr = itt_addr; in vgic_its_alloc_device()
1217 gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd); in vgic_its_cmd_handle_mapd() local
1245 device = vgic_its_alloc_device(its, device_id, itt_addr, in vgic_its_cmd_handle_mapd()
2304 gpa_t base = device->itt_addr; in vgic_its_save_itt()
2341 gpa_t base = dev->itt_addr; in vgic_its_restore_itt()
2369 itt_addr_field = dev->itt_addr >> 8; in vgic_its_save_dte()
[all …]
|
| /openbmc/linux/drivers/irqchip/ |
| H A D | irq-gic-v3-its.c | 489 static void its_encode_itt(struct its_cmd_block *cmd, u64 itt_addr) in its_encode_itt() argument
491 its_mask_encode(&cmd->raw_cmd[2], itt_addr >> 8, 51, 8); in its_encode_itt()
619 unsigned long itt_addr; in its_build_mapd_cmd() local
622 itt_addr = virt_to_phys(desc->its_mapd_cmd.dev->itt); in its_build_mapd_cmd()
623 itt_addr = ALIGN(itt_addr, ITS_ITT_ALIGN); in its_build_mapd_cmd()
628 its_encode_itt(cmd, itt_addr); in its_build_mapd_cmd()
|