Onde você procuraria no Linux para descobrir quais registros são salvos em uma alternância de contexto? Gostaria de saber, por exemplo, se é seguro usar registros FP ou vetoriais no código do driver no modo kernel (principalmente interessado em x86-64 e ARM, mas espero uma resposta independente da arquitetura).