This is xnu-8019. See this file in:
#include <DriverKit/IOBufferMemoryDescriptor.h>