Xen Test Framework
XSA-472 TSC reference NULL deref

Advisory: XSA-472

Check whether reference TSC updating logic checks whether the mapping of the reference TSC page is valid, otherwise it triggers a NULL pointer deref inside the hypervisor.

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