File  quark_pdat.c   X86-specific version (Galileo Board)   Xinu path name  system/quark_pdat.c