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