#ifndef USERSPACE_H
#define USERSPACE_H

void begin_userspace(void);
void jump_userspace(void);

#endif