* kernel/processes/portdat_processes.h: rename s -> sargs