Searched defs:vptaddr (Results 1 – 2 of 2) sorted by relevance
72 static bool vcpu_resident(GICv3CPUState *cs, uint64_t vptaddr) in vcpu_resident()1051 void gicv3_redist_process_vlpi(GICv3CPUState *cs, int irq, uint64_t vptaddr, in gicv3_redist_process_vlpi()1113 void gicv3_redist_vinvall(GICv3CPUState *cs, uint64_t vptaddr) in gicv3_redist_vinvall()1124 void gicv3_redist_inv_vlpi(GICv3CPUState *cs, int irq, uint64_t vptaddr) in gicv3_redist_inv_vlpi()
68 uint64_t vptaddr; member