Searched refs:vmbus_get_vcpu_id_method (Results 1 – 1 of 1) sorted by relevance
111 static uint32_t vmbus_get_vcpu_id_method(device_t bus,210 DEVMETHOD(vmbus_get_vcpu_id, vmbus_get_vcpu_id_method),1141 vmbus_get_vcpu_id_method(device_t bus, device_t dev, int cpu) in vmbus_get_vcpu_id_method() function