¿En qué parte de Linux buscaría saber qué registros se guardan en un cambio de contexto? Me pregunto, por ejemplo, si es seguro usar FP o registros de vectores en el código del controlador en modo kernel (principalmente interesado en x86-64 y ARM, pero espero una respuesta independiente de la arquitectura).