Advisory: XSA-472
Viridian Synthetic Timers assume the SIM page to be unconditionally mapped, so attempting to use stimers without SIM page setup triggers a NULL dereference in Xen.