On Mon, Apr 14, 2025 at 06:38:47PM +0200, Cornelia Huck wrote: > From: Eric Auger <eric.au...@redhat.com> > > If the interface for writable ID registers is available, expose uint64 > SYSREG properties for writable ID reg fields exposed by the host > kernel. Properties are named SYSREG_<REG>_<FIELD> with REG and FIELD > being those used in linux arch/arm64/tools/sysreg. This done by > matching the writable fields retrieved from the host kernel against the > generated description of sysregs. > > An example of invocation is: > -cpu host,SYSREG_ID_AA64ISAR0_EL1_DP=0x0 > which sets DP field of ID_AA64ISAR0_EL1 to 0.
For the value you are illustrating 0x0 - is this implying that all the flags take an arbitrary integer hex value ? This would be different from x86, where CPU feature flags are a boolean on/off state. > [CH: add properties to the host model instead of introducing a new > "custom" model] > Signed-off-by: Eric Auger <eric.au...@redhat.com> With regards, Daniel -- |: https://berrange.com -o- https://www.flickr.com/photos/dberrange :| |: https://libvirt.org -o- https://fstop138.berrange.com :| |: https://entangle-photo.org -o- https://www.instagram.com/dberrange :|
