Symbol: dump_isrvec_stk
sys/amd64/vmm/io/vlapic.c
525
dump_isrvec_stk(vlapic);
sys/amd64/vmm/io/vlapic.c
542
dump_isrvec_stk(vlapic);