Searched refs:phys_dt (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/kernel/ |
| H A D | dt.c | 779 void init_external_dt(unsigned long phys_dt, size_t dt_sz) in init_external_dt() argument
788 if (!phys_dt || !dt_sz) { in init_external_dt()
801 mtype = core_mmu_get_type_by_pa(phys_dt); in init_external_dt()
804 dt->blob = core_mmu_add_mapping(MEM_AREA_EXT_DT, phys_dt, in init_external_dt()
810 dt->blob = phys_to_virt(phys_dt, mtype, dt_sz); in init_external_dt()
813 phys_dt); in init_external_dt()
820 EMSG("Device Tree Overlay init fail @ %#lx: error %d", phys_dt, in init_external_dt()
827 EMSG("Invalid Device Tree at %#lx: error %d", phys_dt, ret); in init_external_dt()
|
| /optee_os/core/include/kernel/ |
| H A D | dt.h | 291 void init_external_dt(unsigned long phys_dt, size_t dt_sz);
472 static inline void init_external_dt(unsigned long phys_dt __unused, in init_external_dt()
|