22 #define VTD_FSTS_REG		0x034 /* Fault Status */
23 #define VTD_FECTL_REG		0x038 /* Fault Event Control */
24 #define VTD_FEDATA_REG		0x03C /* Fault Event Data */
25 #define VTD_FEADDR_REG		0x040 /* Fault Event Address */
26 #define VTD_FEUADDR_REG		0x044 /* Fault Event Upper Address */
27 #define VTD_AFLOG_REG		0x058 /* Advanced Fault Log */
131 /* Fault event control register details */
135 /* Fault event status register details */
156 /* Fault recording register(s) details
168 #define VTD_FRCD_FR(fault)					\  argument
169 	((uint8_t)((fault & VTD_FRCD_FR_MASK) >> VTD_FRCD_FR_POS))
172 #define VTD_FRCD_SID(fault)			\  argument
173 	((uint16_t)(fault & VTD_FRCD_SID_MASK))
178 #define VTD_FRCD_FI(fault)				\  argument
179 	((fault & VTD_FRCD_FI_MASK) >> VTD_FRCD_FI_POS)
183 #define VTD_FRCD_FI_IR(fault)					\  argument
184 	((fault & VTD_FRCD_FI_IR_MASK) >> VTD_FRCD_FI_IR_POS)