Hi,

just patched the thing to make it build again... will test it later this
evening...


The patch of file /usr/src/sys/arch/arm32/arm32/db_machdep.c

----------------------------------------------------------------------------
*** db_machdep.c.orig   Sun Nov  7 18:02:37 1999
--- db_machdep.c        Sun Nov  7 18:02:26 1999
***************
*** 77,83 ****
        db_printf("vp->v_flag = %ld\n", vp->v_flag);
        db_printf("vp->v_numoutput = %ld\n", vp->v_numoutput);
  
!       db_printf("type %s, usecount %d, writecount %d, refcount %ld,",
                typename[vp->v_type], vp->v_usecount, vp->v_writecount,
                vp->v_holdcnt);
        buf[0] = '\0';
--- 77,83 ----
        db_printf("vp->v_flag = %ld\n", vp->v_flag);
        db_printf("vp->v_numoutput = %ld\n", vp->v_numoutput);
  
!       db_printf("type %s, usecount %ld, writecount %ld, refcount %ld,",
                typename[vp->v_type], vp->v_usecount, vp->v_writecount,
                vp->v_holdcnt);
        buf[0] = '\0';
-----------------------------------------------------------------------------

notice that I lost the origional, so I had to recreate it... ahum

Cheers,

Reinoud