Symbol: dump_vcpu
sys/arch/amd64/amd64/vmm_machdep.c
4065
dump_vcpu(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
4732
dump_vcpu(vcpu);
sys/dev/vmm/vmm.c
809
dump_vcpu(vcpu);
sys/dev/vmm/vmm.h
268
void dump_vcpu(struct vcpu *);