68 vmexit_set_bsp(int hart_id)  in vmexit_set_bsp()  argument
71 	CPU_SET_ATOMIC(hart_id, &running_hartmask);  in vmexit_set_bsp()
181 	uint64_t hart_id;  in vmexit_ecall_hsm()  local
185 	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()
219 		CPU_CLR_ATOMIC(hart_id, &running_hartmask);  in vmexit_ecall_hsm()