Lines Matching full:world
16 * (secure world OS and normal world Linux kernel to start with) where
33 * a trusted OS in secure world.
66 * Used as an indication from normal world of compatible cache usage.
93 * Secure and normal world communicates pointer via physical address instead of
95 * Secure and normal world has completely independant memory mapping. Normal
96 * world can even have a hypervisor which need to translate the guest
98 * before passing the structure to secure world.
369 * Used by non-secure world to figure out which Trusted OS is installed.
383 * Used by non-secure world to figure out which version of the Trusted OS
432 * world.
476 * world.
593 * Deliver an IRQ in normal world.
613 * - ret return value of the request, filled in by normal world