include/debug.h


1
2
3
4
5
6
7
8
9
10
11

#ifndef DEBUG_H
#define DEBUG_H

#include <stdint.h>

void bochs_breakpoint(void);
void put_in_r8(uint64_t value);
void put_in_r9(uint64_t value);
void put_in_r10(uint64_t value);

#endif