Searched refs:vcpu_dump (Results 1 – 4 of 4) sorted by relevance
24 vcpu_dump(stderr, vcpu, 2); in ucall_arch_get_ucall()
392 vcpu_dump(stdout, vcpu, 0); in handle_alrm()
1009 static inline void vcpu_dump(FILE *stream, struct kvm_vcpu *vcpu, in vcpu_dump() function
1910 vcpu_dump(stream, vcpu, indent + 2); in vm_dump()