{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"*"}]}
* save registers needed after the call to Secure memory
With this ABI, the compiler will do the following to perform the call:
* clear all registers that might contain confidential information