These registers are caller-saved, so no need to save them for system calls. Thread switching might be performance neutral if the OS uses the xsave / xrstor inst

These registers are caller-saved, so no need to save them for system calls. Thread switching might be performance neutral if the OS uses the xsave / xrstor instructions.