No differences between xnu-12377.121.6 and xnu-517 for /osfmk/man/device_write_async.html.