Searched refs:icv_activate_vlpi (Results 1 – 1 of 1) sorted by relevance
748 static void icv_activate_vlpi(GICv3CPUState *cs) in icv_activate_vlpi() function770 icv_activate_vlpi(cs); in icv_iar_read()