Index: dev/pci/hifn7751.c
===================================================================
RCS file: /cvsroot/src/sys/dev/pci/hifn7751.c,v
retrieving revision 1.58
diff -p -r1.58 hifn7751.c
*** dev/pci/hifn7751.c	27 Apr 2015 17:38:01 -0000	1.58
--- dev/pci/hifn7751.c	9 May 2015 07:55:27 -0000
*************** hifn_attach(device_t parent, device_t se
*** 433,445 ****
  	    sc->sc_dmamap->dm_mapsize,
  	    BUS_DMASYNC_PREREAD | BUS_DMASYNC_PREWRITE);
  
  	if (sc->sc_flags & (HIFN_HAS_PUBLIC | HIFN_HAS_RNG)) {
  		hifn_init_pubrng(sc);
  		sc->sc_rng_need = RND_POOLBITS / NBBY;
  	}
  
- 	mutex_init(&sc->sc_mtx, MUTEX_DEFAULT, IPL_VM);
- 
  #ifdef	__OpenBSD__
  	timeout_set(&sc->sc_tickto, hifn_tick, sc);
  	timeout_add(&sc->sc_tickto, hz);
--- 433,445 ----
  	    sc->sc_dmamap->dm_mapsize,
  	    BUS_DMASYNC_PREREAD | BUS_DMASYNC_PREWRITE);
  
+ 	mutex_init(&sc->sc_mtx, MUTEX_DEFAULT, IPL_VM);
+ 
  	if (sc->sc_flags & (HIFN_HAS_PUBLIC | HIFN_HAS_RNG)) {
  		hifn_init_pubrng(sc);
  		sc->sc_rng_need = RND_POOLBITS / NBBY;
  	}
  
  #ifdef	__OpenBSD__
  	timeout_set(&sc->sc_tickto, hifn_tick, sc);
  	timeout_add(&sc->sc_tickto, hz);