Home
last modified time | relevance | path

Searched refs:orig_end (Results 1 – 2 of 2) 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() argument
130 .orig_mem_end = orig_end, in boot_mem_init()