#include <xtf.h>

Include dependency graph for main.c:

Macros
#define	HV_X64_MSR_STIMER0_CONFIG 0x400000B0

#define	HV_X64_MSR_STIMER0_COUNT 0x400000B1

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

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

Detailed Description

XSA-472 SIM page dereference

Definition in file main.c.

Macro Definition Documentation

◆ HV_X64_MSR_STIMER0_CONFIG

#define HV_X64_MSR_STIMER0_CONFIG 0x400000B0

Definition at line 19 of file main.c.

◆ HV_X64_MSR_STIMER0_COUNT

#define HV_X64_MSR_STIMER0_COUNT 0x400000B1

Definition at line 20 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 22 of file main.c.

Here is the call graph for this function:

Variable Documentation

◆ test_title

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

The title of the test.

Definition at line 17 of file main.c.

Macros

Functions

Variables