/* src/include/port/freebsd.h */