{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"5.5](https://developer.arm.com/documentation/ecm0359818/latest/)"}]}
5.5](https://developer.arm.com/documentation/ecm0359818/latest/) for details).
non-secure code to mark a non-secure function call (see [section