teensy-core-4.1/teensy3/HardwareSerial3.cpp

#include "HardwareSerial.h"

HardwareSerial3 Serial3;

void serialEvent3() __attribute__((weak));
void serialEvent3() {}