fbsdrun_vcpu
error = vm_get_register(fbsdrun_vcpu(cpu), VM_REG_GUEST_MPIDR_EL1,
newvcpu = fbsdrun_vcpu(newcpu);
spinup_ap(fbsdrun_vcpu(i),
struct vcpu *fbsdrun_vcpu(int vcpuid);
newvcpu = fbsdrun_vcpu(HART_TO_CPU(hart_id));