No differences between xnu-12377.101.15 and xnu-792.6.76 for /osfmk/man/processor_set_basic_info.html.