Where are those files and what do they have to do with Qemu? I think this is bhyve part.
It seems to be supported by Qemu now. What doesok,but for doing what ? is it bhyve for arm64 ? I never used it yet. I don't have a piece of hardware fully compatible with gicv3. I ask because there is a pending project that accellerate qemu with vmm. I wonder if those files can be useful for achieving that goal.
qemu-system-x86_64 -accel help
marietto# kldload vmm
kldload: can't load vmm: module already loaded or in kernel
marietto# qemu-system-x86_64 -version
QEMU emulator version 10.2.2
marietto# qemu-system-x86_64 -accel help
Accelerators supported in QEMU binary:
tcg