1*2e0c6823SAndrew Turner /*- 2*2e0c6823SAndrew Turner * This file is in the public domain. 3*2e0c6823SAndrew Turner */ 4*2e0c6823SAndrew Turner #include <machine/vfp.h> 5