Description of problem:
Whenever I stop a VM, I get an SELinux alert like this one.
I use the Virtual Machine Manager in XFCE, currently Fedora 43.
SELinux is preventing systemd-machine from 'search' accesses on the directory 1089213.

*****  Plugin catchall (100. confidence) suggests   **************************

If you believe that systemd-machine should be allowed search access on the 1089213 directory by default.
Then you should report this as a bug.
You can generate a local policy module to allow this access.
Do
allow this access for now by executing:
# ausearch -c 'systemd-machine' --raw | audit2allow -M my-systemdmachine
# semodule -X 300 -i my-systemdmachine.pp

Additional Information:
Source Context                system_u:system_r:systemd_machined_t:s0
Target Context                system_u:system_r:svirt_tcg_t:s0:c66,c288
Target Objects                1089213 [ dir ]
Source                        systemd-machine
Source Path                   systemd-machine
Port                          <Unknown>
Host                          (removed)
Source RPM Packages           
Target RPM Packages           
SELinux Policy RPM            selinux-policy-targeted-42.14-1.fc43.noarch
Local Policy RPM              selinux-policy-targeted-42.14-1.fc43.noarch
Selinux Enabled               True
Policy Type                   targeted
Enforcing Mode                Enforcing
Host Name                     (removed)
Platform                      Linux (removed) 6.17.6-300.fc43.x86_64 #1 SMP
                              PREEMPT_DYNAMIC Wed Oct 29 20:10:51 UTC 2025
                              x86_64
Alert Count                   1
First Seen                    2025-11-05 17:43:32 CET
Last Seen                     2025-11-05 17:43:32 CET
Local ID                      52e6b3dd-13d4-4fcb-92e5-2ab27e9baf97

Raw Audit Messages
type=AVC msg=audit(1762361012.96:1829): avc:  denied  { search } for  pid=1056 comm="systemd-machine" name="1089213" dev="proc" ino=1209311 scontext=system_u:system_r:systemd_machined_t:s0 tcontext=system_u:system_r:svirt_tcg_t:s0:c66,c288 tclass=dir permissive=0


Hash: systemd-machine,systemd_machined_t,svirt_tcg_t,dir,search

Version-Release number of selected component:
selinux-policy-targeted-42.14-1.fc43.noarch

Additional info:
reporter:       libreport-2.17.15
reason:         SELinux is preventing systemd-machine from 'search' accesses on the directory 1089213.
package:        selinux-policy-targeted-42.14-1.fc43.noarch
component:      selinux-policy
hashmarkername: setroubleshoot
type:           libreport
kernel:         6.17.6-300.fc43.x86_64
component:      selinux-policy