Searched refs:dest_vptaddr (Results 1 – 2 of 2) sorted by relevance
1088 GICv3CPUState *dest, uint64_t dest_vptaddr, in gicv3_redist_mov_vlpi() argument1110 gicv3_redist_process_vlpi(dest, irq, dest_vptaddr, doorbell, irq); in gicv3_redist_mov_vlpi()
711 GICv3CPUState *dest, uint64_t dest_vptaddr,