1/* @title: Debugging */
2#include <stddef.h>
3#include <stdint.h>
4
5void debug_print_registers();
6
7void debug_print_stack();
8
9void debug_print_memory(void *addr, size_t size);
10void debug_print_stack_from(uint64_t *start, size_t max_scan);
11#pragma once
12