Searched defs:VKI_UC_GUEST_CC_DEP1 (Results 1 – 1 of 1) sorted by relevance
1481 #define VKI_UC_GUEST_CC_DEP1(uc) (*(UWord*)&(uc)->uc_filler[2]) macro1503 #define VKI_UC_GUEST_CC_DEP1(uc) (*(UWord *) &VKI_UC_MC_FP_FX_IGN2(uc)[2]) macro