Proliant PCI hotplug controller

I keep wondering why it is that I can find drivers for this
controller 
on Linux and not on FreeBSD http://pcihpd.sourcefo
rge.net/ maybe I'm 
missing something I've got dl580 G1 (p20) systems can
someone please 
point me out where to find the right drivers ?

Regards, .. WS