package P is

  type Non_Secure is access procedure;
  pragma Machine_Attribute (Non_Secure, "cmse_nonsecure_call");

  procedure Call (Proc : Non_Secure);

  procedure Foo;
  pragma Machine_Attribute (Foo, "cmse_nonsecure_call");

end P;