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