Debugging

include/dbg.h

debug_print_registers

void debug_print_registers();

debug_print_stack

void debug_print_stack();

debug_print_memory

void debug_print_memory(void *addr, size_t size);

debug_print_stack_from

void debug_print_stack_from(uint64_t *start, size_t max_scan);