Also, the syscalls are ms_abi, so they already save the non-volatile XMM registers whenever they call some sysv ABI functions. This means that currently we essentially save them twice on every syscall -- in addition to the volatile state, which is the biggest problem even though it's only saved once.