No differences between xnu-12377.121.6 and xnu-792 for /osfmk/man/thread_switch.html.