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
236 * Secure world can cache frequently used shared memory objects, for
237 * example objects used as RPC arguments. When secure world is idle this
244 * a1-6 Not used
275 * Secure world can cache frequently used shared memory objects, for
276 * example objects used as RPC arguments. When secure world is idle this
282 * a1-6 Not used
306 * a1-6 Not used
357 * Allocate memory for RPC parameter passing. The memory is used to hold a
363 * a2 Not used
365 * a4-5 Not used
377 * a4 Upper 32 bits of 64-bit Shared memory cookie used when freeing
379 * a5 Lower 32 bits of 64-bit Shared memory cookie used when freeing
400 * a1-2 Not used
425 * are used (the rest are unused):
444 * a1-2 Not used