| 58 | }; |
| 59 | |
| 60 | static void |
| 61 | vfp_enable(void) |
| 62 | { |
| 63 | uint32_t cpacr; |
| 64 | |
| 65 | cpacr = READ_SPECIALREG(cpacr_el1); |
| 66 | cpacr = (cpacr & ~CPACR_FPEN_MASK) | CPACR_FPEN_TRAP_NONE; |
| 67 | WRITE_SPECIALREG(cpacr_el1, cpacr); |
| 68 | isb(); |
| 69 | } |
| 70 | |
| 71 | static void |
| 72 | vfp_disable(void) |
no outgoing calls
no test coverage detected