A processor may utilise two operating systems (Non-Secure, Secure) between
which calls may be made. In order that a second operating system can
track task switches made by a first operating system, each time a call is
made to the second operating system, this call includes an identifier to
enable discrimination between the task which was executing on the first
operating system when that call was made. The identifier can be a call
identifier and/or a target thread identifier and may include further
parameters.