console_init
INFO:    TEE-CORE: IMSG
DEBUG:   TEE-CORE:core_init_mmu_map:408: core_init_mmu_map start
DEBUG:   TEE-CORE:init_mem_map:323: init_mem_map start
DEBUG:   TEE-CORE:add_phys_mem:258: CFG_TEE_RAM_START 1 0x20000000 size 0x00100000
DEBUG:   TEE-CORE:add_phys_mem:258: CFG_TA_RAM_START 3 0x20100000 size 0x02f00000
DEBUG:   TEE-CORE:add_phys_mem:258: CFG_SHMEM_START 4 0x1ff00000 size 0x00100000
DEBUG:   TEE-CORE:add_phys_mem:258: DEVICE0_PA_BASE 6 0x40000000 size 0x00100000
DEBUG:   TEE-CORE:add_phys_mem:258: 0 8 0x00000000 size 0x00a00000
DEBUG:   TEE-CORE:init_mem_map:392: type va 1 0x20000000..0x200fffff pa 0x20000000..0x200fffff size 0x100000
DEBUG:   TEE-CORE:init_mem_map:392: type va 3 0x20100000..0x22ffffff pa 0x20100000..0x22ffffff size 0x2f00000
DEBUG:   TEE-CORE:init_mem_map:392: type va 4 0x23000000..0x230fffff pa 0x1ff00000..0x1fffffff size 0x100000
DEBUG:   TEE-CORE:init_mem_map:392: type va 6 0x23100000..0x231fffff pa 0x40000000..0x400fffff size 0x100000
DEBUG:   TEE-CORE:init_mem_map:392: type va 8 0x23200000..0x23bfffff pa 0x00000000..0x009fffff size 0xa00000
DEBUG:   TEE-CORE:init_mem_map:394: init_mem_map End
DEBUG:   TEE-CORE:core_init_mmu_map:462: core_init_mmu_map End