Searched refs:VKI_PORT_CODE_MASK (Results 1 – 2 of 2) sorted by relevance
669 #define VKI_PORT_CODE_MASK PORT_CODE_MASK macro
7161 Int opcode = ARG1 & VKI_PORT_CODE_MASK;7260 Int opcode = ARG1 & VKI_PORT_CODE_MASK;