#ifndef HAL_SWITCH_H_
#define HAL_SWITCH_H_

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

#endif // HAL_SWITCH_H_