These are changes to make HPET work with ACRN hypervisor: - FSB interrupt delivery (which works like PCI MSI) - 32-bit mode support Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>
Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>