Sebastian Lackner : server: Remove unused device manager argument from set_irp_result call.