Backport: correct reference to ionTop in ARM masm