main.c

Go to the documentation of this file.

 
#include <xtf.h>
 
const char test_title[] = "XSA-123 PoC";
 
bool test_needs_fep = true;
 
void test_main(void)
{
    unsigned int src = 0x1234, dest = 0;
 
    asm volatile(_ASM_XEN_FEP
                 /* Explicit %cs segment override. */
                 ".byte 0x2e; mov %[src], %[dest]"
                 : [src] "+r" (src), [dest] "+r" (dest));
 
    if ( dest != 0x1234 )
        xtf_failure("  '%%cs:mov %%reg, %%reg' clobbered hypervisor memory\n");
    else
        xtf_success("  '%%cs:mov %%reg, %%reg' was emulated correctly\n");
}
 
/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */