Page MenuHomeFreeBSD

arm64/vmm: Use FEAT_ECV_POFF to support a timer
ClosedPublic

Authored by andrew on Aug 8 2025, 12:21 PM.
Tags
None
Referenced Files
F135970316: D51821.id162670.diff
Fri, Nov 14, 4:41 PM
Unknown Object (File)
Sat, Nov 8, 7:08 PM
Unknown Object (File)
Sat, Nov 1, 2:30 AM
Unknown Object (File)
Wed, Oct 29, 8:38 PM
Unknown Object (File)
Sun, Oct 26, 5:40 PM
Unknown Object (File)
Oct 11 2025, 12:13 AM
Unknown Object (File)
Oct 11 2025, 12:13 AM
Unknown Object (File)
Oct 11 2025, 12:13 AM
Subscribers

Details

Summary

Support guest access to the physical timer when FEAT_ECV_POFF is
supported. In this case we can set an offset for the physical timer.
We can reuse the virtual timer support to also support the physical
timer, with a few more registers needing to be handled when switching
to a guest.

As it is not clear how this will affect performance when the guest
doesn't use it hide enabling it behind a sysctl.

It is expected this will be useful when Nested Virtualisation is
supported as guests are expected to use the physical timer registers.

Sponsored by: Arm Ltd

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

This revision was not accepted when it landed; it landed in state Needs Review.Sep 23 2025, 5:10 PM
This revision was automatically updated to reflect the committed changes.