pub type NDIS_DEVICE_POWER_STATE = i32;