#pragma once

#include <process.h>

void user_exec(trapframe_t *regs);