XSA-472 TSC reference NULL deref More...

#include <xtf.h>

Include dependency graph for main.c:

Macros
#define	HV_X64_MSR_REFERENCE_TSC 0x40000021

Functions
void	test_main (void)
	To be implemented by each test, as its entry point. More...

Variables
const char	test_title [] = "XSA-472-1 PoC"
	The title of the test. More...

Detailed Description

XSA-472 TSC reference NULL deref

Definition in file main.c.

Macro Definition Documentation

◆ HV_X64_MSR_REFERENCE_TSC

#define HV_X64_MSR_REFERENCE_TSC 0x40000021

Definition at line 19 of file main.c.

Function Documentation

◆ test_main()

void test_main ( void )

To be implemented by each test, as its entry point.

Todo:: Implement better command line infrastructure, but this will do for now.

At the time of writing, Xen doesn't correctly handle invlpg while running in shadow mode on AMD Gen1 hardware lacking decode assistance. For this test, we simply care that Xen doesn't crash.

Definition at line 21 of file main.c.

Here is the call graph for this function:

Variable Documentation

◆ test_title

const char test_title[] = "XSA-472-1 PoC"

The title of the test.

Definition at line 17 of file main.c.

Macros

Functions