Pointed out by Hubertf
These sources are ported from FreeBSD/ia64 code. See individual source files for credits. In addition, code from NetBSD/alpha NetBSD/sparc64, NetBSD/i386 and NetBSD/amd64 were used as templates, along with my own additions.