Why are those declarations necessary? AFAICS they're not used in this module on ARM and as they're private they can't be used outside of this module?