#ifndef DEBUG_H
#define DEBUG_H

void bochs_breakpoint(void);

#endif