Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/kernel/
A Dboot.c1069 static void init_external_dt(unsigned long phys_dt) in init_external_dt() argument
1075 if (!phys_dt) { in init_external_dt()
1088 fdt = core_mmu_add_mapping(MEM_AREA_EXT_DT, phys_dt, CFG_DTB_MAX_SIZE); in init_external_dt()
1096 EMSG("Device Tree Overlay init fail @ %#lx: error %d", phys_dt, in init_external_dt()
1103 EMSG("Invalid Device Tree at %#lx: error %d", phys_dt, ret); in init_external_dt()
1143 static void init_external_dt(unsigned long phys_dt __unused) in init_external_dt()

Completed in 4 milliseconds