#include <xtf.h>

Include dependency graph for main.c:

Macros
#define	COND(_32, _64) _64

#define	__TEST_CS64 (GDTE_AVAIL0 << 3)

Functions
void	do_evtchn (struct cpu_regs *regs)
	May be implemented by a guest to handle Event Channel upcalls. More...

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

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

static intpte_t	t1 [L1_PT_ENTRIES]

static intpte_t	t2 [L1_PT_ENTRIES]

static xen_vcpu_guest_context_t	vcpu1_ctx

Detailed Description

XSA-296

Definition in file main.c.

Macro Definition Documentation

◆ COND

#define COND	(	_32,
		_64
	)	_64

Definition at line 36 of file main.c.

◆ __TEST_CS64

#define __TEST_CS64 (GDTE_AVAIL0 << 3)

Definition at line 40 of file main.c.

Function Documentation

◆ do_evtchn()

void do_evtchn ( struct cpu_regs * regs )

May be implemented by a guest to handle Event Channel upcalls.

Definition at line 48 of file main.c.

Here is the call graph for this function:

◆ 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 65 of file main.c.

Here is the call graph for this function: