#ifndef _USER_SPACE_H
#define _USER_SPACE_H

void enter_user_space(void);

#endif