reference <arm/arm32/katelib.h> until such time as all use of this file has been purged from the face of the earth.