/sys/src/boot/pc/devpccard.c devpccard.c