ibnex_handle_hca_attach
extern void ibnex_handle_hca_attach(void *);
ibnex_handle_hca_attach, guid, DDI_NOSLEEP)
void ibnex_handle_hca_attach(void *);