#ifndef USER_INIT_H_
#define USER_INIT_H_

void usermode_start();

#endif