Searched refs:gicv3_redist_update_vlpi (Results 1 – 1 of 1) sorted by relevance
257 static void gicv3_redist_update_vlpi(GICv3CPUState *cs) in gicv3_redist_update_vlpi() function319 gicv3_redist_update_vlpi(cs); in gicr_write_vpendbaser()1045 gicv3_redist_update_vlpi(cs); in gicv3_redist_vlpi_pending()1075 gicv3_redist_update_vlpi(cs); in gicv3_redist_process_vlpi()1104 gicv3_redist_update_vlpi(src); in gicv3_redist_mov_vlpi()1121 gicv3_redist_update_vlpi(cs); in gicv3_redist_vinvall()