#ifndef _USER_SPACE_H
#define _USER_SPACE_H

void enter_user_space(void);
void enter_user_space_v2(void);

#endif