#include "/sys/src/cmd/disk/kfs/portfns.h"