first flush pending LAPIC interrupt and then read the tlbflush value, to avoid lost tlbflush IPIs.
first flush pending LAPIC interrupt and then read the tlbflush value,
to avoid lost tlbflush IPIs.

aclements/sv6,bowlofstew/sv6,aclements/sv6,bowlofstew/sv6,bowlofstew/sv6,aclements/sv6,aclements/sv6,aclements/sv6,bowlofstew/sv6,bowlofstew/sv6