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
F158010452: D51821.id162670.diff
Wed, May 27, 11:23 AM
Unknown Object (File)
Sun, May 24, 12:54 AM
Unknown Object (File)
Sun, May 24, 12:54 AM
Unknown Object (File)
Wed, May 20, 6:04 AM
Unknown Object (File)
Sun, May 17, 11:15 PM
Unknown Object (File)
Sun, May 17, 11:15 PM
Unknown Object (File)
Sun, May 17, 10:56 PM
Unknown Object (File)
Thu, May 7, 11:14 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