root
/
drivers
/
vfio
/
platform
/reset/
[..]
vfio_platform_amdxgbe.c
vfio_platform_bcmflexrm.c
vfio_platform_calxedaxgmac.c
[..]