Searched defs:VKI_REG_TRAPNO (Results 1 – 1 of 1) sorted by relevance
1412 #define VKI_REG_TRAPNO VKI_TRAPNO macro1429 #define VKI_REG_TRAPNO REG_TRAPNO macro