Searched refs:VKI_IPC_SET64 (Results 1 – 3 of 3) sorted by relevance
1869 #if defined(VKI_IPC_SET64) in ML_()1870 case VKI_IPC_SET64: in ML_()1872 #if defined(VKI_IPC64) || defined(VKI_IPC_SET64) in ML_()
2676 case VKI_IPC_SET64: in PRE()2813 case VKI_IPC_SET64: in POST()2902 case VKI_IPC_SET64: in PRE()
597 #define VKI_IPC_SET64 IPC_SET64 macro