#ifndef DEVFS_H #define DEVFS_H void init_ext2(); #endif