pollution: u_owner
volatile unsigned long u_owner; 

pollution: umtx
struct umtx { volatile unsigned long u_owner; }; 

pollution: m_owner
volatile __lwpid_t m_owner; 

pollution: m_flags
__uint32_t m_flags; 

pollution: m_ceilings
__uint32_t m_ceilings[2]; 

pollution: m_rb_lnk
__uintptr_t m_rb_lnk; 

pollution: m_spare
__uint32_t m_spare[2]; 

pollution: umutex
struct umutex { volatile __lwpid_t m_owner; __uint32_t m_flags; __uint32_t m_ceilings[2]; __uintptr_t m_rb_lnk; __uint32_t m_spare[2]; }; 

pollution: c_has_waiters
volatile __uint32_t c_has_waiters; 

pollution: c_flags
__uint32_t c_flags; 

pollution: c_clockid
__uint32_t c_clockid; 

pollution: c_spare
__uint32_t c_spare[1]; 

pollution: ucond
struct ucond { volatile __uint32_t c_has_waiters; __uint32_t c_flags; __uint32_t c_clockid; __uint32_t c_spare[1]; }; 

pollution: rw_state
volatile __int32_t rw_state; 

pollution: rw_flags
__uint32_t rw_flags; 

pollution: rw_blocked_readers
__uint32_t rw_blocked_readers; 

pollution: rw_blocked_writers
__uint32_t rw_blocked_writers; 

pollution: rw_spare
__uint32_t rw_spare[4]; 

pollution: urwlock
struct urwlock { volatile __int32_t rw_state; __uint32_t rw_flags; __uint32_t rw_blocked_readers; __uint32_t rw_blocked_writers; __uint32_t rw_spare[4]; };