Home
last modified time | relevance | path

Searched refs:boot_mem_init (Results 1 – 5 of 5) sorted by relevance

/optee_os/core/include/kernel/
H A Dboot.h119 void boot_mem_init(vaddr_t start, vaddr_t end, vaddr_t orig_end);
/optee_os/core/mm/
H A Dboot_mem.c126 void boot_mem_init(vaddr_t start, vaddr_t end, vaddr_t orig_end) in boot_mem_init() function
/optee_os/core/arch/riscv/kernel/
H A Dentry.S237 jal boot_mem_init
/optee_os/core/arch/arm/kernel/
H A Dentry_a64.S408 bl boot_mem_init
H A Dentry_a32.S555 bl boot_mem_init