host_mas4         543 arch/powerpc/include/asm/kvm_host.h 	u32 host_mas4;
host_mas4         752 arch/powerpc/kernel/asm-offsets.c 	OFFSET(VCPU_HOST_MAS4, kvm_vcpu, arch.host_mas4);