Searched refs:vcpu_id (Results 1 – 3 of 3) sorted by relevance
| /drivers/virt/nitro_enclaves/ |
| A D | ne_misc_dev.c | 528 int core_id, u32 vcpu_id) in ne_set_enclave_threads_per_core() argument
532 if (core_id < 0 && vcpu_id == 0) { in ne_set_enclave_threads_per_core()
588 *vcpu_id = cpu; in ne_get_cpu_from_cpu_pool()
658 if (ne_donated_cpu(ne_enclave, vcpu_id)) { in ne_check_cpu_in_cpu_pool()
660 "CPU %d already used\n", vcpu_id); in ne_check_cpu_in_cpu_pool()
717 slot_add_vcpu_req.vcpu_id = vcpu_id; in ne_add_vcpu_ioctl()
1152 u32 vcpu_id = 0; in ne_enclave_ioctl() local
1154 if (copy_from_user(&vcpu_id, (void __user *)arg, sizeof(vcpu_id))) in ne_enclave_ioctl()
1178 if (!vcpu_id) { in ne_enclave_ioctl()
1196 vcpu_id, rc); in ne_enclave_ioctl()
[all …]
|
| A D | ne_pci_dev.h | 212 u32 vcpu_id; member
|
| /drivers/firmware/arm_ffa/ |
| A D | driver.c | 1003 u16 vcpu_id, part_id, *packed_id_list = (u16 *)&ret.a3; in ffa_notification_info_get() local
1020 vcpu_id = packed_id_list[ids_processed++]; in ffa_notification_info_get()
1022 __do_sched_recv_cb(part_id, vcpu_id, true); in ffa_notification_info_get()
|
Completed in 11 milliseconds