Symbol: veritefb_pc_signature
sys/dev/pci/veritefb.c
2152
veritefb_pc_signature(pc));
sys/dev/pci/veritefb.c
3562
db_printf("RISC PC 0x%08x: %s\n", pc, veritefb_pc_signature(pc));