K 10 svn:author V 3 jhb K 8 svn:date V 27 2016-04-27T16:34:29.405939Z K 7 svn:log V 102 Fix PCI bus detach to delete child devices. Differential Revision: https://reviews.freebsd.org/D6020 END