Vasyl Gomonovych 6b94356b57 fix(sdei): print event number in hex format ... SDEI specified event numbers in hexadecimal format. Change event number format to hexadecimal to make it easier for the reader to recognize the proper event. Change-Id: Iac7a91d0910316e0ad54a8f09bc17209e8c6adf6 Signed-off-by: Vasyl Gomonovych <vgomonovych@marvell.com>		2021-10-22 13:45:06 +01:00
..
sdei_dispatch.S	Make setjmp.h prototypes comply with the C standard	2019-02-08 13:42:38 +00:00
sdei_event.c	Sanitise includes across codebase	2019-01-04 10:43:17 +00:00
sdei_intr_mgmt.c	fix(sdei): print event number in hex format	2021-10-22 13:45:06 +01:00
sdei_main.c	fix(sdei): print event number in hex format	2021-10-22 13:45:06 +01:00
sdei_private.h	Switch AARCH32/AARCH64 to __aarch64__	2019-08-01 13:45:03 -07:00
sdei_state.c	Sanitise includes across codebase	2019-01-04 10:43:17 +00:00