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