Lines Matching full:used

34  * a0..a7 is used as register names in the descriptions below, on arm32
75  * Used by non-secure world to figure out which Trusted OS is installed.
88  * Used by non-secure world to figure out which version of the Trusted OS
114  * a3	Cache settings, not used if physical pointer is in a predefined shared
116  * a4-6	Not used
121  * a1-3	Not used
159  * a1-6	Not used
172  * a1-3 Not used
192  * a2-6	Not used
235  * Secure world can cache frequently used shared memory objects, for
236  * example objects used as RPC arguments. When secure world is idle this
243  * a1-6	Not used
274  * Secure world can cache frequently used shared memory objects, for
275  * example objects used as RPC arguments. When secure world is idle this
281  * a1-6	Not used
331  * Allocate memory for RPC parameter passing. The memory is used to hold a
337  * a2	Not used
339  * a4-5	Not used
351  * a4	Upper 32bits of 64bit Shared memory cookie used when freeing
353  * a5	Lower 32bits of 64bit Shared memory cookie used when freeing
374  * a1-2	Not used
399  * are used (the rest are unused):
418  * a1-2	Not used