"The machine code or intrinsic support should allow access to all operations normally available to assembly language programmers for the target environment, including privileged instructions, if any."
Followed.
"The interfacing pragmas (see Annex B) should support interface to assembler; the default assembler should be associated with the convention identifier
Assembler."
Followed.
"If an entity is exported to assembly language, then the implementation should allocate it at an addressable location, and should ensure that it is retained by the linking process, even if not otherwise referenced from the Ada code. The implementation should assume that any call to a machine code or assembler subprogram is allowed to read or update every object that is specified as exported."
Followed.