42 #define LPC_CPACR 0xE000ED88
44 #define SCB_MVFR0 0xE000EF40
45 #define SCB_MVFR0_RESET 0x10110021
47 #define SCB_MVFR1 0xE000EF44
48 #define SCB_MVFR1_RESET 0x11000011
65 #if __FPU_PRESENT != 0
76 volatile uint32_t *regCpacr = (uint32_t *) LPC_CPACR;
77 volatile uint32_t *regMvfr0 = (uint32_t *) SCB_MVFR0;
78 volatile uint32_t *regMvfr1 = (uint32_t *) SCB_MVFR1;
79 volatile uint32_t Cpacr;
80 volatile uint32_t Mvfr0;
81 volatile uint32_t Mvfr1;
87 vfpPresent = ((SCB_MVFR0_RESET == Mvfr0) && (SCB_MVFR1_RESET == Mvfr1));