> It looks like there is cardbus_function_disable() in the kernel that
> should stop all this and power off the device, but I have no idea how
> you get to it from userland.
> 
> Seems like what we really need is a userland routine to detach device
> instances.

see sys/kern/kern_drvctl.c

	-- Jachym