About the 2016 tag that was added to the title. While the header does say 2016, I think it's that the file wasn't made open source by Apple till this weekend.
Aside - explicit reference to Raspberry Pi here:
https://opensource.apple.com/source/xnu/xnu-4903.221.2/osfmk...