os/user_space.h
2024-05-21 18:41:16 +03:00

6 lines
81 B
C

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