../../../../dev/if_ndis/if_ndis.c: In function 'ndis_detach':
../../../../dev/if_ndis/if_ndis.c:1187: warning: passing argument 1 of 'mutex_destroy' from incompatible pointer type