1 /*
2 * Copyright (C) 2006 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17 /** \file
18 This file consists of implementation of class AndroidUsbBulkPipeFileObject
19 that encapsulates extension to a bulk pipe file objects.
20 */
21 #pragma data_seg()
22 #pragma code_seg()
23
24 #include "precomp.h"
25 #include "android_usb_bulk_file_object.h"
26
27 #pragma data_seg()
28 #pragma code_seg("PAGE")
29
AndroidUsbBulkPipeFileObject(AndroidUsbDeviceObject * dev_obj,WDFFILEOBJECT wdf_fo,WDFUSBPIPE wdf_pipe_obj)30 AndroidUsbBulkPipeFileObject::AndroidUsbBulkPipeFileObject(
31 AndroidUsbDeviceObject* dev_obj,
32 WDFFILEOBJECT wdf_fo,
33 WDFUSBPIPE wdf_pipe_obj)
34 : AndroidUsbPipeFileObject(dev_obj, wdf_fo, wdf_pipe_obj) {
35 ASSERT_IRQL_PASSIVE();
36
37 #if DBG
38 WDF_USB_PIPE_INFORMATION pipe_info;
39 WDF_USB_PIPE_INFORMATION_INIT(&pipe_info);
40 WdfUsbTargetPipeGetInformation(wdf_pipe_obj, &pipe_info);
41 ASSERT(WdfUsbPipeTypeBulk == pipe_info.PipeType);
42 #endif // DBG
43 }
44
45 #pragma code_seg()
46
~AndroidUsbBulkPipeFileObject()47 AndroidUsbBulkPipeFileObject::~AndroidUsbBulkPipeFileObject() {
48 ASSERT_IRQL_LOW_OR_DISPATCH();
49 }
50
51 #pragma data_seg()
52 #pragma code_seg()
53