#include "x86_64.h"
#include "lib/printf.h"

void
print_state(struct cpu_state *state)
{
    kprintf("RAX: %p | RBX: %p | RCX: %p\n", state->rax, state->rbx, state->rcx);
    kprintf("RDX: %p | RSI: %p | RDI: %p\n", state->rdx, state->rsi, state->rdi);
    kprintf("RBP: %p\n", state->rbp);
    kprintf("R8 : %p | R9 : %p | R10: %p\n", state->r8, state->r9, state->r10);
    kprintf("R11: %p | R12: %p | R13: %p\n", state->r11, state->r12, state->r13);
    kprintf("R14: %p | R15: %p\n", state->r14, state->r15);
}