main.c File Reference

XSA-231 More...

#include <xtf.h>

Include dependency graph for main.c:

Go to the source code of this file.

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

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

Detailed Description

XSA-231

Definition in 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-231 PoC"

The title of the test.

Definition at line 20 of file main.c.