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