What are coding conventions for using floating-point in Linux device drivers?
问题 This is related to this question. I'm not an expert on Linux device drivers or kernel modules, but I've been reading "Linux Device Drivers" [O'Reilly] by Rubini & Corbet and a number of online sources, but I haven't been able to find anything on this specific issue yet. When is a kernel or driver module allowed to use floating-point registers? If so, who is responsible for saving and restoring their contents? (Assume x86-64 architecture) If I understand correctly, whenever a KM is running, it