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

typedef struct SysexitRegs SysexitRegs;
struct SysexitRegs {
	UserRegs u;
	char sse[512];
};
_Static_assert(sizeof(SysexitRegs) == 18 * 8 + 512);

extern SysexitRegs _sysexit_regs;
_Noreturn void sysenter_stage2(void);

_Noreturn void _sysexit_real(void);