Searched defs:VKI_UC_GUEST_CC_NDEP (Results 1 – 1 of 1) sorted by relevance
1405 #define VKI_UC_GUEST_CC_NDEP(uc) (*(UWord*)&(uc)->uc_filler[1]) macro1427 #define VKI_UC_GUEST_CC_NDEP(uc) (*(UWord *) &VKI_UC_MC_FP_FX_IGN2(uc)[1]) macro