decode_nfshandle
fhlen = decode_nfshandle("boot.nfsroot.nfshandle",
if (decode_nfshandle("boot.nfsroot.nfshandle",
static int decode_nfshandle(char *ev, u_char *fh, int maxfh);