Symbol: KERN_POSIX_BARRIERS