Home
last modified time | relevance | path

Searched refs:vptaddr (Results 1 – 4 of 4) sorted by relevance

/qemu/hw/intc/
H A Darm_gicv3_redist.c72 static bool vcpu_resident(GICv3CPUState *cs, uint64_t vptaddr) in vcpu_resident() argument
82 return vptaddr == (cs->gicr_vpendbaser & R_GICR_VPENDBASER_PHYADDR_MASK); in vcpu_resident()
1051 void gicv3_redist_process_vlpi(GICv3CPUState *cs, int irq, uint64_t vptaddr, in gicv3_redist_process_vlpi() argument
1055 bool resident = vcpu_resident(cs, vptaddr); in gicv3_redist_process_vlpi()
1065 bit_changed = set_pending_table_bit(cs, vptaddr, irq, level); in gicv3_redist_process_vlpi()
1113 void gicv3_redist_vinvall(GICv3CPUState *cs, uint64_t vptaddr) in gicv3_redist_vinvall() argument
1115 if (!vcpu_resident(cs, vptaddr)) { in gicv3_redist_vinvall()
1124 void gicv3_redist_inv_vlpi(GICv3CPUState *cs, int irq, uint64_t vptaddr) in gicv3_redist_inv_vlpi() argument
1132 gicv3_redist_vinvall(cs, vptaddr); in gicv3_redist_inv_vlpi()
H A Darm_gicv3_its.c68 uint64_t vptaddr; member
343 vte->vptaddr = FIELD_EX64(vteval, VTE, VPTADDR); in get_vte()
346 vte->vptaddr, vte->rdbase); in get_vte()
950 vteval = FIELD_DP64(vteval, VTE, VPTADDR, vte->vptaddr); in update_vte()
979 vte.vptaddr = FIELD_EX64(cmdpkt[3], VMAPP_3, VPTADDR); in process_vmapp()
982 vte.vptaddr, vte.vptsize); in process_vmapp()
1150 if (old_vte.vptaddr != new_vte.vptaddr) { in process_vmovi()
1152 old_vte.vptaddr << 16, in process_vmovi()
1154 new_vte.vptaddr << 16, in process_vmovi()
1182 gicv3_redist_vinvall(&s->gicv3->cpu[vte.rdbase], vte.vptaddr << 16); in process_vinvall()
[all …]
H A Dgicv3_internal.h627 void gicv3_redist_process_vlpi(GICv3CPUState *cs, int irq, uint64_t vptaddr,
677 void gicv3_redist_inv_vlpi(GICv3CPUState *cs, int irq, uint64_t vptaddr);
721 void gicv3_redist_vinvall(GICv3CPUState *cs, uint64_t vptaddr);
H A Dtrace-events197 gicv3_its_cmd_vmapp(uint32_t vpeid, uint64_t rdbase, int valid, uint64_t vptaddr, uint32_t vptsize)…
212 gicv3_its_vte_read(uint32_t vpeid, int valid, uint32_t vptsize, uint64_t vptaddr, uint32_t rdbase) …
214 gicv3_its_vte_write(uint32_t vpeid, int valid, uint32_t vptsize, uint64_t vptaddr, uint32_t rdbase)…