Lines Matching full:used

41  * a0..a7 is used as register names in the descriptions below, on arm32
82  * Used by non-secure world to figure out which Trusted OS is installed.
95  * Used by non-secure world to figure out which version of the Trusted OS
121  * a3	Cache settings, not used if physical pointer is in a predefined shared
123  * a4-6	Not used
128  * a1-3	Not used
166  * a1-6	Not used
179  * a1-3 Not used
199  * a2-6	Not used
239  * Secure world can cache frequently used shared memory objects, for
240  * example objects used as RPC arguments. When secure world is idle this
247  * a1-6	Not used
278  * Secure world can cache frequently used shared memory objects, for
279  * example objects used as RPC arguments. When secure world is idle this
285  * a1-6	Not used
335  * Allocate memory for RPC parameter passing. The memory is used to hold a
341  * a2	Not used
343  * a4-5	Not used
355  * a4	Upper 32bits of 64bit Shared memory cookie used when freeing
357  * a5	Lower 32bits of 64bit Shared memory cookie used when freeing
378  * a1-2	Not used
403  * are used (the rest are unused):
422  * a1-2	Not used