No differences between xnu-12377.101.15 and xnu-1228 for /osfmk/man/device_write.html.