No differences between xnu-12377.101.15 and xnu-517 for /osfmk/man/memory_object_synchronize.html.