mpx_state_buffer 9247 arch/x86/kvm/x86.c 		void *mpx_state_buffer;
mpx_state_buffer 9255 arch/x86/kvm/x86.c 		mpx_state_buffer = get_xsave_addr(&vcpu->arch.guest_fpu->state.xsave,
mpx_state_buffer 9257 arch/x86/kvm/x86.c 		if (mpx_state_buffer)
mpx_state_buffer 9258 arch/x86/kvm/x86.c 			memset(mpx_state_buffer, 0, sizeof(struct mpx_bndreg_state));
mpx_state_buffer 9259 arch/x86/kvm/x86.c 		mpx_state_buffer = get_xsave_addr(&vcpu->arch.guest_fpu->state.xsave,
mpx_state_buffer 9261 arch/x86/kvm/x86.c 		if (mpx_state_buffer)
mpx_state_buffer 9262 arch/x86/kvm/x86.c 			memset(mpx_state_buffer, 0, sizeof(struct mpx_bndcsr));