Xen Test Framework
main.c
Go to the documentation of this file.
1 
25 #include <xtf.h>
26 
27 const char test_title[] = "XSA-279 PoC";
28 
29 void test_main(void)
30 {
31  hypercall_update_va_mapping(1ul << 63, 0, UVMF_INVLPG | UVMF_ALL);
32 
33  xtf_success("Success: Not vulnerable to XSA-279\n");
34 }
35 
36 /*
37  * Local variables:
38  * mode: C
39  * c-file-style: "BSD"
40  * c-basic-offset: 4
41  * tab-width: 4
42  * indent-tabs-mode: nil
43  * End:
44  */
hypercall_update_va_mapping
static long hypercall_update_va_mapping(unsigned long linear, uint64_t npte, enum XEN_UVMF flags)
Definition: hypercall.h:115
UVMF_ALL
Definition: xen.h:387
xtf_success
void xtf_success(const char *fmt,...)
Report test success.
Definition: report.c:38
test_main
void test_main(void)
To be implemented by each test, as its entry point.
Definition: main.c:137
test_title
const char test_title[]
The title of the test.
Definition: main.c:14
Generated by   doxygen 1.8.13