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
Unknown Object (File)
Wed, Dec 10, 4:22 AM
Unknown Object (File)
Tue, Dec 9, 12:26 PM
Unknown Object (File)
Tue, Dec 9, 11:25 AM
Unknown Object (File)
Fri, Dec 5, 9:02 PM
Unknown Object (File)
Tue, Dec 2, 5:04 AM
Unknown Object (File)
Wed, Nov 26, 9:19 AM
Unknown Object (File)
Wed, Nov 26, 6:26 AM
Unknown Object (File)
Tue, Nov 25, 7:09 PM
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.