Searched refs:VKI_PRIVSYS_GETPFLAGS (Results 1 – 2 of 2) sorted by relevance
847 #define VKI_PRIVSYS_GETPFLAGS PRIVSYS_GETPFLAGS macro
4445 case VKI_PRIVSYS_GETPFLAGS: in PRE()4501 case VKI_PRIVSYS_GETPFLAGS: in POST()