Searched refs:SDEI_LOG (Results 1 – 4 of 4) sorted by relevance
| /rk3399_ARM-atf/services/std_svc/sdei/ |
| H A D | sdei_main.c | 78 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() 829 SDEI_LOG("Error release bound:%d cnt:%d\n", is_map_bound(map), in sdei_interrupt_release() 1008 SDEI_LOG("> VER\n"); in sdei_smc_handler() 1010 SDEI_LOG("< VER:%" PRIx64 "\n", ret); in sdei_smc_handler() 1015 SDEI_LOG("> REG(n:%d e:%" PRIx64 " a:%" PRIx64 " f:%x m:%" PRIx64 "\n", ev_num, in sdei_smc_handler() 1018 SDEI_LOG("< REG:%" PRId64 "\n", ret); in sdei_smc_handler() 1022 SDEI_LOG("> ENABLE(n:%d)\n", (int) x1); in sdei_smc_handler() 1024 SDEI_LOG("< ENABLE:%" PRId64 "\n", ret); in sdei_smc_handler() 1028 SDEI_LOG("> DISABLE(n:0x%x)\n", ev_num); in sdei_smc_handler() [all …]
|
| H A D | sdei_intr_mgmt.c | 424 SDEI_LOG("interrupt %u on %" PRIx64 " while PE masked\n", in sdei_intr_handler() 450 SDEI_LOG("SDEI event 0x%x can't be dispatched; state=0x%x\n", in sdei_intr_handler() 496 SDEI_LOG("ACK %" PRIx64 ", ev:0x%x ss:%d spsr:%lx ELR:%lx\n", in sdei_intr_handler() 668 SDEI_LOG("EOI:%lx, %d spsr:%lx elr:%lx\n", read_mpidr_el1(), in sdei_event_complete()
|
| H A D | sdei_state.c | 145 SDEI_LOG(" event state 0x%x => 0x%x\n", se->state, next); in can_sdei_state_trans()
|
| H A D | sdei_private.h | 38 #define SDEI_LOG(...) VERBOSE("SDEI: " __VA_ARGS__) macro
|