Searched defs:VKI_BUS_OBJERR (Results 1 – 3 of 3) 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