kgdb_acc          422 kern/kgdb_stub.c 			if (kgdb_acc(addr, len) == 0) {
kgdb_acc          453 kern/kgdb_stub.c 			if (kgdb_acc(addr, len) == 0) {
kgdb_acc          105 sys/kgdb.h     int kgdb_acc(vaddr_t, size_t);