* kernel/core/386/fns.h: