No differences between xnu-12377.101.15 and xnu-792.2.4 for /osfmk/man/device_reply_server.html.