Lines Matching refs:model

56 model that is supported by KVM.
625 Reads model-specific registers from the vcpu.  Supported msr indices can
657 Writes model-specific registers to the vcpu.  See KVM_GET_MSRS for the
686   - Using KVM_SET_CPUID{,2} after KVM_RUN, i.e. changing the guest vCPU model
803 Creates an interrupt controller model in the kernel.
825 Sets the level of a GSI input to the interrupt controller model in the kernel.
826 On some architectures it is required that an interrupt controller model has
2947 Creates an in-kernel device model for the i8254 PIT. This call is only valid
2980 Retrieves the state of the in-kernel PIT model. Only valid after
3008 Sets the state of the in-kernel PIT model. Only valid after KVM_CREATE_PIT2.
4150 the access in accordance with the vCPU model.  Note, KVM may still ultimately
7428 can then implement model specific MSR handling and/or user notifications
7436                              invalid according to the vCPU model and/or mode