Symbol: LAPIC_IPI_INVLTLB