On Thu, Dec 5, 2024 at 9:23 PM Paolo Bonzini <pbonz...@redhat.com> wrote: > > + /// Instance id (HPET timer block ID). > > + hpet_id: BqlCell<usize>, > > +} > > + > Like flags this does not need to be a cell.
Well, this *should not* need to be a cell (ideally fw_cfg would call a C function to generate FW_CFG_HPET) but it can't be done yet, so you can keep it. flags need not be a BqlCell though. Paolo