* kernel/processes/386/dat_processes.h: