Searched refs:event_num (Results 1 – 1 of 1) sorted by relevance
55 int ret, event_num; in injected_fault_handler() local87 event_num = (int)read_ctx_reg(get_gpregs_ctx(ns_cpu_context), CTX_GPREG_X4); in injected_fault_handler()94 if (event_num != EVENT_NOTIFY_OS_RAS_ERROR) { in injected_fault_handler()95 ERROR("Unexpected event id sent by RAS SP: %d\n", event_num); in injected_fault_handler()100 ret = sdei_dispatch_event(event_num); in injected_fault_handler()