Searched refs:cpu_index (Results 1 – 9 of 9) sorted by relevance
52 size_t cpu_indx = cpu_index(c);61 size_t cpu_indx = cpu_index(c); in cpu_get_buffer_size()128 size_t cpu_index(struct cpu *c) in cpu_index() function156 struct vcpu *vcpu = vm_get_vcpu(vm, cpu_index(c)); in cpu_on()
32 vcpu = vm_get_vcpu(first_boot, cpu_index(c)); in cpu_main()
208 arch_regs_set_gp_reg(&vcpu->regs, cpu_index(vcpu->cpu), in vcpu_set_phys_core_idx()
79 ffa_vcpu_index_t current_cpu_index = cpu_index(current->cpu); in api_ffa_get_vm_vcpu()3576 cpu_index(current->cpu) != vcpu_id)) { in api_ffa_notification_get()3580 cpu_index(current->cpu)); in api_ffa_notification_get()
34 size_t cpu_index(struct cpu *c);
504 current->vm->id, cpu_index(current->cpu)); in plat_ffa_check_runtime_state_transition()1078 if (vm->vcpu_count > 1 && vcpu_idx != cpu_index(current->cpu)) { in plat_ffa_run_checks()1080 cpu_index(current->cpu)); in plat_ffa_run_checks()1773 HF_SCHEDULE_RECEIVER_INTID, cpu_index(cpu)); in plat_ffa_send_schedule_receiver_interrupt()
71 core_id = cpu_index(this_cpu); in affinity_to_core_id()
485 bl cpu_index572 bl cpu_index
192 size_t current_cpu_index = cpu_index(vcpu->cpu); in maybe_invalidate_tlb()
Completed in 24 milliseconds