Searched refs:vaffinity_to_vcpuid (Results 1 – 3 of 3) sorted by relevance
224 static inline unsigned int vaffinity_to_vcpuid(register_t vaff) in vaffinity_to_vcpuid() function
34 vcpuid = vaffinity_to_vcpuid(target_cpu); in do_common_cpu_on()
87 vcpu_id = vaffinity_to_vcpuid(irouter); in vgic_v3_irouter_to_vcpu()
Completed in 7 milliseconds