ARM intrinsic: fix error