* kernel/files/portdat_files.h: