No differences between xnu-517.3.7 and xnu-792 for /osfmk/man/processor_set_basic_info.html.