Searched refs:vcpuid_to_vaffinity (Results 1 – 6 of 6) sorted by relevance
236 static inline register_t vcpuid_to_vaffinity(unsigned int vcpuid) in vcpuid_to_vaffinity() function
582 v->arch.vmpidr = MPIDR_SMP | vcpuid_to_vaffinity(v->vcpu_id); in arch_vcpu_create()
1148 gicc->arm_mpidr = vcpuid_to_vaffinity(i); in gicv2_make_hwdom_madt()
113 return vcpuid_to_vaffinity(read_atomic(&rank->vcpu[offset])); in vgic_fetch_irouter()
1510 gicc->arm_mpidr = vcpuid_to_vaffinity(i); in gicv3_make_hwdom_madt()
893 mpidr_aff = vcpuid_to_vaffinity(cpu); in make_cpus_node()
Completed in 18 milliseconds