Searched refs:guest_pcpu_bitmask (Results 1 – 4 of 4) sorted by relevance
| /devicemodel/core/ |
| A D | mptbl.c | 121 uint64_t guest_pcpu_bitmask = vm_get_cpu_affinity_dm(); in mpt_build_proc_entries() local
123 if (guest_pcpu_bitmask == 0) { in mpt_build_proc_entries()
128 pr_info("%s, guest_cpu_bitmask: 0x%x\n", __func__, guest_pcpu_bitmask); in mpt_build_proc_entries()
131 int pcpu_id = pcpuid_from_vcpuid(guest_pcpu_bitmask, i); in mpt_build_proc_entries()
|
| /devicemodel/hw/platform/vssram/ |
| A D | vssram.c | 472 static int init_guest_lapicid_tbl(uint64_t guest_pcpu_bitmask) in init_guest_lapicid_tbl() argument
475 int vcpu_num = bitmap_weight(guest_pcpu_bitmask); in init_guest_lapicid_tbl()
478 pcpu_id = pcpuid_from_vcpuid(guest_pcpu_bitmask, vcpu_id); in init_guest_lapicid_tbl()
1210 uint64_t guest_pcpu_bitmask; in init_guest_cpu_info() local
1212 guest_pcpu_bitmask = vm_get_cpu_affinity_dm(); in init_guest_cpu_info()
1213 if (guest_pcpu_bitmask == 0) { in init_guest_cpu_info()
1217 pr_info("%s, guest_cpu_bitmask: 0x%x\n", __func__, guest_pcpu_bitmask); in init_guest_cpu_info()
1219 if (init_guest_lapicid_tbl(guest_pcpu_bitmask) < 0) { in init_guest_cpu_info()
1224 guest_vcpu_num = bitmap_weight(guest_pcpu_bitmask); in init_guest_cpu_info()
1225 guest_pcpumask = guest_pcpu_bitmask; in init_guest_cpu_info()
|
| /devicemodel/hw/platform/acpi/ |
| A D | acpi.c | 276 int pcpuid_from_vcpuid(uint64_t guest_pcpu_bitmask, int vcpu_id) in pcpuid_from_vcpuid() argument
278 return find_nth_set_bit_index(guest_pcpu_bitmask, vcpu_id); in pcpuid_from_vcpuid()
285 uint64_t guest_pcpu_bitmask; in basl_fwrite_madt() local
287 guest_pcpu_bitmask = vm_get_cpu_affinity_dm(); in basl_fwrite_madt()
288 if (guest_pcpu_bitmask == 0) { in basl_fwrite_madt()
293 pr_info("%s, guest_cpu_bitmask: 0x%x\n", __func__, guest_pcpu_bitmask); in basl_fwrite_madt()
318 int pcpu_id = pcpuid_from_vcpuid(guest_pcpu_bitmask, i); in basl_fwrite_madt()
|
| /devicemodel/include/ |
| A D | acpi.h | 121 int pcpuid_from_vcpuid(uint64_t guest_pcpu_bitmask, int vcpu_id);
|
Completed in 10 milliseconds