[PlatformIO] Where is Serial defined?

[DrDiettrich]

My path is
Arduino\hardware\arduino\avr\cores\arduino\HardwareSerial*

There may be more than the avr\ dedicated directory, and more related files in other directories.