Searched refs:hart_id (Results 1 – 3 of 3) sorted by relevance
68 vmexit_set_bsp(int hart_id) in vmexit_set_bsp() argument71 CPU_SET_ATOMIC(hart_id, &running_hartmask); in vmexit_set_bsp()181 uint64_t hart_id; in vmexit_ecall_hsm() local185 hart_id = vme->u.ecall.args[0]; in vmexit_ecall_hsm()188 if (HART_TO_CPU(hart_id) >= (uint64_t)guest_ncpus) in vmexit_ecall_hsm()191 newvcpu = fbsdrun_vcpu(HART_TO_CPU(hart_id)); in vmexit_ecall_hsm()196 if (CPU_ISSET(hart_id, &running_hartmask)) in vmexit_ecall_hsm()200 error = vm_set_register(newvcpu, VM_REG_GUEST_A0, hart_id); in vmexit_ecall_hsm()214 CPU_SET_ATOMIC(hart_id, &running_hartmask); in vmexit_ecall_hsm()217 if (!CPU_ISSET(hart_id, &running_hartmask)) in vmexit_ecall_hsm()[all …]
39 void vmexit_set_bsp(int hart_id);
140 int hart_id; in vmm_sbi_handle_ipi() local157 hart_id = (bit - 1); in vmm_sbi_handle_ipi()158 hart_mask &= ~(1u << hart_id); in vmm_sbi_handle_ipi()160 hart_id += hart_mask_base; in vmm_sbi_handle_ipi()161 if (!CPU_ISSET(hart_id, &active_cpus)) in vmm_sbi_handle_ipi()163 CPU_SET(hart_id, &cpus); in vmm_sbi_handle_ipi()