main.c

Go to the documentation of this file.

 
#include <xtf.h>
 
const char test_title[] = "XSA-333 PoC";
 
void test_main(void)
{
    unsigned long val;
 
    rdmsr_safe(MSR_MISC_ENABLE, &val);
 
    /*
     * If Xen is still alive at this point, it didn't take a #GP fault
     * handling the MSR emulation.
     */
 
    xtf_success("Success: Not vulnerable to XSA-333\n");
}
 
/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */