os/user_space.h

6 lines
81 B
C
Raw Normal View History

2024-05-21 18:41:16 +03:00
#ifndef _USER_SPACE_H
#define _USER_SPACE_H
void enter_user_space(void);
#endif