Symbol: HV_IPI_HIGH_VECTOR