Symbol: LAPIC_IPI_INVLPG