No differences between xnu-12377.101.15 and xnu-3789.70.16 for /osfmk/man/processor_set_default.html.