kernel/debug.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#include <stdint.h>

void bochs_breakpoint(void)
{
	__asm__ volatile ("xchgw %bx, %bx;");
}

void put_in_r8(uint64_t value)
{
	__asm__ volatile ("movq %0, %%r8;" : : "r"(value) : "%r8");
}

void put_in_r9(uint64_t value)
{
	__asm__ volatile ("movq %0, %%r9;" : : "r"(value) : "%r9");
}

void put_in_r10(uint64_t value)
{
	__asm__ volatile ("movq %0, %%r10;" : : "r"(value) : "%r10");
}