Searched defs:VKI_UC_GUEST_CC_DEP2 (Results 1 – 1 of 1) sorted by relevance
1407 #define VKI_UC_GUEST_CC_DEP2(uc) (*(UWord*)&(uc)->uc_filler[3]) macro1429 #define VKI_UC_GUEST_CC_DEP2(uc) (*(UWord *) &VKI_UC_MC_FP_FX_IGN2(uc)[3]) macro