Kernel module corresponding to tps65217.dtsi?

Hello,

I’m trying to create custom .dts* files and a kernel image based on 3.8.13-bone47. Eventually, I need to replace the tps65217 with the tps65910.

I’ve found source for tps65217.c, tps65217.dtsi, (and corresponding files for the tps65910), but I can’t find a corresponding kernel module in 3.8.13-bone47. Should there be a tps65217.ko file in /lib/modules/3.8.13-bone47/kernel/drivers/* ?
If not, what code is responsible for passing configuration parameters to the regulators?

Thanks,

Jim

https://github.com/beagleboard/linux/blob/3.8/drivers/regulator/tps65217-regulator.c

Regards,