21 lines
401 B
C
21 lines
401 B
C
#pragma once
|
|
/// \file debug.h
|
|
/// Debugging utilities
|
|
|
|
#include <stdint.h>
|
|
|
|
extern "C" {
|
|
uintptr_t get_rsp();
|
|
uintptr_t get_rip();
|
|
uintptr_t get_frame(int frame);
|
|
uintptr_t get_gsbase();
|
|
|
|
}
|
|
|
|
void print_regs(const cpu_state ®s);
|
|
void print_stack(const cpu_state ®s);
|
|
void print_stacktrace(int skip = 0);
|
|
|
|
#define print_reg(name, value) cons->printf(" %s: %016lx\n", name, (value));
|
|
|