No differences between xnu-10002.1.13 and xnu-10002.41.9 for /iokit/Kernel/IOBufferMemoryDescriptor.cpp.