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