00001 /* 00002 * Windows driver helpers. 00003 * 00004 * Copyright (C) 2009 Cambridge Silicon Radio Ltd. 00005 * 00006 * Refer to LICENSE.txt included with this source code for details on 00007 * the license terms. 00008 */ 00009 #ifndef SDIOEMB_WINDOWS_H 00010 #define SDIOEMB_WINDOWS_H 00011 00012 #include <wdf.h> 00013 00084 struct sdioemb_wdf_slot_data { 00088 WDFDEVICE device; 00089 00093 WDFCHILDLIST child_list; 00094 }; 00095 00096 NTSTATUS sdioemb_wdf_query_ulong(WDFDEVICE device, 00097 const UNICODE_STRING *value_name, ULONG *value); 00098 00099 NTSTATUS sdioemb_wdf_create_child_list(WDFDEVICE device, struct sdioemb_slot *slot); 00100 void sdioemb_wdf_destroy_child_list(struct sdioemb_slot *slot); 00101 00102 int sdioemb_wdf_slot_register(struct sdioemb_slot *slot); 00103 void sdioemb_wdf_slot_unregister(struct sdioemb_slot *slot); 00104 00105 void sdioemb_wdf_event_log_init(PWDFDEVICE_INIT device_init); 00106 NTSTATUS sdioemb_wdf_event_log_create(WDFDEVICE device); 00107 00108 #endif /* #ifndef SDIOEMB_WINDOWS_H */