BitKeeper file /home/marcelo/bk/linux-2.4/arch/mips64/sgi-ip32/ip32-reset.c