No differences between xnu-344 and xnu-517 for /osfmk/man/processor_set_basic_info.html.