#include <mach/mach_right.h> not included by <mach/mach.h> — include it explicitly
Mach › Ports & messages

mach/mach_right.h

__MACH_RIGHT_H

This header declares nothing itself under the arm64 configuration; it groups the headers below.

sys/cdefs.h