HomeFreeBSD

vmm: Pass vcpu instead of vm and vcpuid to APIs used from CPU backends.