Reverted parameter sock to default as ebp, unless context is arm or thumb