K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2013-11-27T22:01:09.897749Z
K 7
svn:log
V 132
badaddr() is used only in the grackle PCI driver, so move its definition
there. Clean up a spurious setfault() declaration as well.

END