#pragma once
#include <kernel/types.h>

// sysenter.c
extern CpuRegs _sysexit_regs;
_Noreturn void sysenter_stage2(void);

// sysenter.s
_Noreturn void _sysexit_real(void);