Home
last modified time | relevance | path

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

/trusted-firmware-a-latest/services/std_svc/sdei/
Dsdei_main.c78 SDEI_LOG("Private events initialized on %lx\n", read_mpidr_el1()); in sdei_cpu_on_init()
89 SDEI_LOG("Events masked on %lx\n", read_mpidr_el1()); in sdei_cpu_wakeup_init()
827 SDEI_LOG("Error release bound:%d cnt:%d\n", is_map_bound(map), in sdei_interrupt_release()
974 SDEI_LOG("> VER\n"); in sdei_smc_handler()
976 SDEI_LOG("< VER:%" PRIx64 "\n", ret); in sdei_smc_handler()
981 SDEI_LOG("> REG(n:%d e:%" PRIx64 " a:%" PRIx64 " f:%x m:%" PRIx64 "\n", ev_num, in sdei_smc_handler()
984 SDEI_LOG("< REG:%" PRId64 "\n", ret); in sdei_smc_handler()
988 SDEI_LOG("> ENABLE(n:%d)\n", (int) x1); in sdei_smc_handler()
990 SDEI_LOG("< ENABLE:%" PRId64 "\n", ret); in sdei_smc_handler()
994 SDEI_LOG("> DISABLE(n:0x%x)\n", ev_num); in sdei_smc_handler()
[all …]
Dsdei_intr_mgmt.c464 SDEI_LOG("interrupt %u on %" PRIx64 " while PE masked\n", in sdei_intr_handler()
490 SDEI_LOG("SDEI event 0x%x can't be dispatched; state=0x%x\n", in sdei_intr_handler()
536 SDEI_LOG("ACK %" PRIx64 ", ev:0x%x ss:%d spsr:%lx ELR:%lx\n", in sdei_intr_handler()
708 SDEI_LOG("EOI:%lx, %d spsr:%lx elr:%lx\n", read_mpidr_el1(), in sdei_event_complete()
Dsdei_state.c145 SDEI_LOG(" event state 0x%x => 0x%x\n", se->state, next); in can_sdei_state_trans()
Dsdei_private.h38 #define SDEI_LOG(...) VERBOSE("SDEI: " __VA_ARGS__) macro