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