almost certainly have to change as the FreeBSD/Alpha kernel comes along, but for the transitionary period this is the most correct. Obtained from: NetBSD