Searched refs:vcpuid_to_vaffinity (Results 1 – 6 of 6) sorted by relevance
318 static inline register_t vcpuid_to_vaffinity(unsigned int vcpuid) in vcpuid_to_vaffinity() function
541 v->arch.vmpidr = MPIDR_SMP | vcpuid_to_vaffinity(v->vcpu_id); in vcpu_initialise()
1046 gicc->arm_mpidr = vcpuid_to_vaffinity(i); in gicv2_make_hwdom_madt()
1403 gicc->arm_mpidr = vcpuid_to_vaffinity(i); in gicv3_make_hwdom_madt()
116 return vcpuid_to_vaffinity(read_atomic(&rank->vcpu[offset])); in vgic_fetch_irouter()
738 mpidr_aff = vcpuid_to_vaffinity(cpu); in make_cpus_node()
Completed in 17 milliseconds