Expand description
Bindings to the Hypervisor Framework
Constants§
- HV_
BAD_ ARGUMENT - HV_BUSY
- HV_
ERROR - HV_
MEMORY_ EXEC - HV_
MEMORY_ READ - HV_
MEMORY_ WRITE - HV_
NO_ DEVICE - HV_
NO_ RESOURCES - HV_
SUCCESS - HV_
UNSUPPORTED - HV_
VCPU_ DEFAULT - HV_
VM_ DEFAULT
Functions§
- hv_
vcpu_ ⚠create - Creates a vCPU instance for the current thread
- hv_
vcpu_ ⚠destroy - Destroys the vCPU instance associated with the current thread
- hv_
vcpu_ ⚠enable_ native_ msr - Enables an MSR to be used natively by the VM
- hv_
vcpu_ ⚠flush - Forces flushing of cached vCPU state
- hv_
vcpu_ ⚠get_ exec_ time - Returns the cumulative execution time of a vCPU in nanoseconds
- hv_
vcpu_ ⚠interrupt - Forces an immediate VMEXIT of a set of vCPUs of the VM
- hv_
vcpu_ ⚠invalidate_ tlb - Invalidates the TLB of a vCPU
- hv_
vcpu_ ⚠read_ fpstate - Returns the current architectural x86 floating point and SIMD state of a vCPU
- hv_
vcpu_ ⚠read_ msr - Returns the current value of an MSR of a vCPU
- hv_
vcpu_ ⚠read_ register - Returns the current value of an architectural x86 register of a vCPU
- hv_
vcpu_ ⚠run - Executes a vCPU
- hv_
vcpu_ ⚠write_ fpstate - Sets the architectural x86 floating point and SIMD state of a vCPU
- hv_
vcpu_ ⚠write_ msr - Set the value of an MSR of a vCPU
- hv_
vcpu_ ⚠write_ register - Sets the value of an architectural x86 register of a vCPU
- hv_
vm_ ⚠create - Creates a VM instance for the current Mach task
- hv_
vm_ ⚠destroy - Destroys the VM instance associated with the current Mach task
- hv_
vm_ ⚠map - Maps a region in the virtual address space of the current task into the guest physical address space of the VM
- hv_
vm_ ⚠protect - Modifies the permissions of a region in the guest physical address space of the VM
- hv_
vm_ ⚠sync_ tsc - Synchronizes guest Timestamp-Counters (TSC) across all vCPUs
- hv_
vm_ ⚠unmap - Unmaps a region in the guest physical address space of the VM
- hv_
vmx_ ⚠read_ capability - Returns the VMX capabilities of the host processor
- hv_
vmx_ ⚠vcpu_ read_ vmcs - Returns the current value of a VMCS field of a vCPU
- hv_
vmx_ ⚠vcpu_ set_ apic_ address - Sets the address of the guest APIC for a vCPU in the guest physical address space of the VM
- hv_
vmx_ ⚠vcpu_ write_ vmcs - Sets the value of a VMCS field of a vCPU
Type Aliases§
- hv_
gpaddr_ t - Type of a guest physical address
- hv_
memory_ flags_ t - Guest physical memory region permissions for hv_vm_map() and hv_vm_protect()
- hv_
return_ t - Hypervisor Framework return code
- hv_
uvaddr_ t - Type of a user virtual address
- hv_
vcpuid_ t - Type of a vCPU ID
- hv_
vm_ options_ t - Options for hv_vcpu_create()