Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/kernel/
A Dboot.c55 #define PADDR_INVALID ULONG_MAX macro
118 assert(nsec_entry == PADDR_INVALID); in init_sec_mon()
127 assert(nsec_entry != PADDR_INVALID); in init_sec_mon()
1339 unsigned long e = PADDR_INVALID; in boot_init_primary_early()
1352 init_secondary_helper(PADDR_INVALID); in boot_cpu_on_handler()

Completed in 4 milliseconds