Xen Test Framework
|
XSA-472 SIM page dereference More...
#include <xtf.h>
Go to the source code of this file.
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... | |
Definition in file main.c.
void test_main | ( | void | ) |
To be implemented by each test, as its entry point.
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.