Home
last modified time | relevance | path

Searched refs:vcpu_vcpuid (Results 1 – 4 of 4) sorted by relevance

/freebsd-14.2/sys/amd64/vmm/
H A Dvmm_ioport.c168 VCPU_CTR4(vcpu_vm(vcpu), vcpu_vcpuid(vcpu), "%s%s 0x%04x: %s", in vm_handle_inout()
H A Dx86.c80 int vcpu_id = vcpu_vcpuid(vcpu); in x86_emulate_cpuid()
H A Dvmm.c2375 vcpu_vcpuid(struct vcpu *vcpu) in vcpu_vcpuid() function
/freebsd-14.2/sys/amd64/include/
H A Dvmm.h286 int vcpu_vcpuid(struct vcpu *vcpu);
344 return (CPU_ISSET(vcpu_vcpuid(vcpu), info->rptr)); in vcpu_rendezvous_pending()