Symbol: ka6400_sergeant
sys/arch/vax/vax/ka6400.c
370
ka6400_sergeant(id);
sys/arch/vax/vax/ka6400.c
91
static void ka6400_sergeant(int);