Searched refs:vcpu_dump (Results 1 – 4 of 4) sorted by relevance
89 vcpu_dump(stderr, vcpu, 2); in get_ucall()
726 static inline void vcpu_dump(FILE *stream, struct kvm_vcpu *vcpu, in vcpu_dump() function
401 vcpu_dump(stdout, vcpu, 0); in handle_alrm()
1716 vcpu_dump(stream, vcpu, indent + 2); in vm_dump()