path: root/kernel/debug.c

#include <stdint.h>

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