#ifndef PROC_SWITCH_H_
#define PROC_SWITCH_H_

#include "vmm/vmm.h"

extern void proc_switch(void *newsp, PgTable *cr3);

#endif // PROC_SWITCH_H_