#ifndef _USER_SPACE_H
#define _USER_SPACE_H
void enter_user_space(void);
void enter_user_space_v2(void);
#endif