Xen Test Framework
XSA-472 SIM page dereference

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.

See also
tests/xsa-472-2/main.c