AVCs:

type=AVC msg=audit(1241720005.718:66): avc:  denied  { write } for  pid=2179 comm="libvirtd" name="unbind" dev=sysfs ino=4339 scontext=system_u:system_r:virtd_t:s0-s0:c0.c1023 tcontext=system_u:object_r:sysfs_t:s0 tclass=file

type=AVC msg=audit(1241720068.546:67): avc:  denied  { write } for  pid=2182 comm="libvirtd" name="config" dev=sysfs ino=7822 scontext=system_u:system_r:virtd_t:s0-s0:c0.c1023 tcontext=system_u:object_r:sysfs_t:s0 tclass=file

What these calls do:

dettach:

  - stats /sys/bus/pci/drivers/pci-stub
  - writes to /sys/bus/pci/drivers/pci-stub/new_id
  - writes to /sys/bus/pci/devices/$device/driver/unbind
  - stats/writes /sys/bus/pci/drivers/pci-stub/new_slot
  - writes to /sys/bus/pci/drivers/pci-stub/bind
  - writes to /sys/bus/pci/drivers/pci-stub/remove_id

reattach:

  - stats /sys/bus/pci/drivers/pci-stub
  - writes to /sys/bus/pci/drivers/pci-stub/unbind
  - stats/writes /sys/bus/pci/drivers/pci-stub/remove_slot
  - stats /sys/bus/pci/drivers/pci-stub/remove_id
  - writes to /sys/bus/pci/drivers_probe

reset:

  - reads/writes /sys/bus/pci/devices/$device/config
  - reads /sys/bus/pci/devices/$device/device
  - reads /sys/bus/pci/devices/$device/vendor
  - readdir /sys/bus/pci/devices/