Symbol: PERF_GUEST_MEDIATED_PMI_VECTOR