K 10 svn:author V 3 zbb K 8 svn:date V 27 2015-04-27T14:18:07.922148Z K 7 svn:log V 188 Fix wrong cast of pointer to u_int in db_interface.c on ARM64 Fix to commit introduced in: r282078 Pointed out by: andrew Obtained from: Semihalf Sponsored by: The FreeBSD Foundation END