sys/arch/usermode/target/i386/cpu_i386.c

57

static void dump_regs(register_t *reg);

sys/arch/usermode/target/x86_64/cpu_x86_64.c

55

static void dump_regs(register_t *reg);

sys/dev/pci/esm.c

247

} dump_regs[] = {

sys/dev/pci/esm.c

271

for (i = 0; i < __arraycount(dump_regs); i++) {

sys/dev/pci/esm.c

274

printf("0x%2.2x: ", dump_regs[i].offset);

sys/dev/pci/esm.c

275

switch(dump_regs[i].width) {

sys/dev/pci/esm.c

278

dump_regs[i].offset));

sys/dev/pci/esm.c

282

dump_regs[i].offset));

sys/dev/pci/esm.c

287

dump_regs[i].offset));