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

/* requires 16-byte alignment */
struct CpuRegs {
	uint64_t r15, r14, r13, r12, r11, r10, r9, r8;
	uint64_t rdi, rsi, rbp, rsp, rbx, rdx, rcx, rax;
	uint64_t rip, flags;
	uint8_t _sse[512];
} __attribute__((__packed__));