On a linux system many device names can be seen under
/dev. This must be defined somewhere in the linux kernel source code, the udev code, device trees or driver code.
For example, where is the source code located that determines a floppy drive should start with
fd or that a hard disk starts with