Searched refs:VKI_BUS_OBJERR (Results 1 – 3 of 3) sorted by relevance
515 #define VKI_BUS_OBJERR BUS_OBJERR macro
531 #define VKI_BUS_OBJERR (__VKI_SI_FAULT|3) /* object specific hardware error */ macro
1712 case VKI_BUS_OBJERR: event = "Hardware error"; break; in default_action()