#ifndef XTF_X86_XTF_H
#define XTF_X86_XTF_H
+#include <arch/apic.h>
#include <arch/cpuid.h>
+#include <arch/exinfo.h>
+#include <arch/idt.h>
#include <arch/lib.h>
+#include <arch/mm.h>
#include <arch/msr.h>
+#include <arch/pagetable.h>
+#include <arch/symbolic-const.h>
extern char _end[];
/* Optional functionality */
#include <xtf/atomic.h>
#include <xtf/bitops.h>
+#include <xtf/elf.h>
#include <xtf/exlog.h>
#include <xtf/grant_table.h>
#include <xtf/hypercall.h>
/* All Xen ABI for includers convenience .*/
#include <xen/callback.h>
+#include <xen/elfnote.h>
#include <xen/errno.h>
#include <xen/event_channel.h>
#include <xen/grant_table.h>
*/
#include <xtf.h>
-#include <arch/exinfo.h>
-#include <arch/processor.h>
-
const char test_title[] = "Guest CPUID Faulting support";
bool test_wants_user_mappings = true;
*/
#include <xtf.h>
-#include <arch/decode.h>
-#include <arch/exinfo.h>
-#include <arch/processor.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "FPU Exception Emulation";
#define CR0_SYM(...) TOK_OR(X86_CR0_, ##__VA_ARGS__)
*/
#include <xtf.h>
-#include <arch/decode.h>
-#include <arch/desc.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "Invlpg tests";
/* Swizzle to easily change all invlpg instructions to being emulated. */
#include "test.h"
-#include <arch/decode.h>
-
static void decode_test_exinfo(char *str, size_t n, exinfo_t ex)
{
if ( ex == VMERR_SUCCESS )
*/
#include <xtf.h>
-#include <arch/apic.h>
-
const char test_title[] = "Test nmi-taskswitch-priv";
bool test_wants_user_mappings = true;
*/
#include <xtf.h>
-#include <arch/processor.h>
-
const char test_title[] = "PV IOPL emulation";
bool test_wants_user_mappings = true;
*/
#include <xtf.h>
-#include <arch/apic.h>
-#include <arch/idt.h>
-#include <arch/processor.h>
-#include <arch/segment.h>
-
const char test_title[] = "XTF Selftests";
bool has_xenstore = true;
*/
#include <xtf.h>
-#include <arch/processor.h>
-#include <arch/symbolic-const.h>
-
#include "lowlevel.h"
const char test_title[] = "Software interrupt emulation";
* @see tests/umip/main.c
*/
#include <xtf.h>
-#include <arch/exinfo.h>
-#include <arch/processor.h>
const char test_title[] = "User-Mode Instruction Prevention Tests";
bool test_wants_user_mappings = true;
#include <xtf.h>
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-170 PoC";
bool test_wants_user_mappings = true;
*/
#include <xtf.h>
-#include <arch/pagetable.h>
-#include <arch/processor.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-173 PoC";
/* New L2 pagetable for the test to manipulate. */
*/
#include <xtf.h>
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-182 PoC";
void test_main(void)
*/
#include <xtf.h>
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-183 PoC";
void test_main(void)
*/
#include <xtf.h>
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-185 PoC";
void test_main(void)
*/
#include <xtf.h>
-#include <arch/idt.h>
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-186 PoC";
bool test_needs_fep = true;
* @see tests/xsa-188/main.c
*/
#include <xtf.h>
-#include <arch/mm.h>
const char test_title[] = "XSA-188 PoC";
*/
#include <xtf.h>
-#include <arch/decode.h>
-#include <arch/desc.h>
-#include <arch/exinfo.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-191 PoC";
bool test_needs_fep = true;
*/
#include <xtf.h>
-#include <arch/desc.h>
-#include <arch/exinfo.h>
-#include <arch/idt.h>
-
const char test_title[] = "XSA-192 PoC";
/* IDT handler to return from vm86 mode. */
*/
#include <xtf.h>
-#include <xtf/elf.h>
-#include <xen/elfnote.h>
-
const char test_title[] = "XSA-194 PoC";
ELFNOTE(Xen, XEN_ELFNOTE_BSD_SYMTAB, ".asciz \"yes\"");
* @see tests/xsa-195/main.c
*/
#include <xtf.h>
-#include <xen/memory.h>
-
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
const char test_title[] = "XSA-195 PoC";
*/
#include <xtf.h>
-#include <arch/exinfo.h>
-#include <arch/idt.h>
-#include <arch/processor.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-196 PoC";
bool test_wants_user_mappings = true;
*/
#include <xtf.h>
-#include <arch/exinfo.h>
-
const char test_title[] = "XSA-200 PoC";
bool test_needs_fep = true;
*/
#include <xtf.h>
-#include <arch/processor.h>
-
bool test_needs_fep = true;
bool test_wants_user_mappings = true;
const char test_title[] = "XSA-204 PoC";
*/
#include <xtf.h>
-#include <arch/decode.h>
-#include <arch/exinfo.h>
-#include <arch/mm.h>
-
const char test_title[] = "XSA-212 PoC";
void test_main(void)
*/
#include <xtf.h>
-#include <arch/idt.h>
-#include <arch/processor.h>
-
const char test_title[] = "XSA-213 PoC";
#define IRET_IDENTIFIER 0xdead
*/
#include <xtf.h>
-#include <arch/pagetable.h>
-
const char test_title[] = "XSA-224 PoC";
static uint8_t frame[PAGE_SIZE] __page_aligned_bss;
*/
#include <xtf.h>
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-227 PoC";
static uint8_t frame[PAGE_SIZE] __page_aligned_bss;
*/
#include <xtf.h>
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-232 PoC";
void test_main(void)
*/
#include <xtf.h>
-#include <arch/pagetable.h>
-#include <arch/symbolic-const.h>
-
const char test_title[] = "XSA-234 PoC";
static uint8_t frame1[PAGE_SIZE] __page_aligned_bss;