#ifndef MACHDEV_H
#define MACHDEV_H
void machdev_init(int argc, char **argv);
void machdev_run1(void *arg);
void machdev_run2(void);
#endif /* MACHDEV_H */