teensy-core-4.1/teensy4/clockspeed.c

#include <stdint.h>

volatile uint32_t F_CPU_ACTUAL = 396000000;
volatile uint32_t F_BUS_ACTUAL = 132000000;