#pragma GCC system_header #pragma GCC visibility push(default) #include_next <pripcsem.h> #pragma GCC visibility pop