#include "initcalls.h"
#include "l4_types.h"
#include "kmem.h"
Go to the source code of this file.
Defines | |
#define | write_debug_register(num, val) asm volatile("movl %0, %%db" #num ";" : /* no output */ : "r" (val)) |
#define | read_debug_register(num) ({Mword val; asm volatile("movl %%db" #num ",%0;" : "=r"(val)); val;}) |
Functions | |
int | jdb_instruction_bp_at_addr (Address addr) |
|
|
|
|
|
|