Searched defs:VKI_BUS_ADRERR (Results 1 – 3 of 3) sorted by relevance
527 #define VKI_BUS_ADRERR BUS_ADRERR macro
1029 #define VKI_BUS_ADRERR BUS_ADRERR macro
526 #define VKI_BUS_ADRERR (__VKI_SI_FAULT|2) /* non-existent physical address */ macro