main.c

Go to the documentation of this file.

#include <xtf.h>

const char test_title[] = "XSA-167 PoC";

void test_main(void)
{
    mmuext_op_t op =
    {
        .cmd = MMUEXT_MARK_SUPER,
        .arg1.mfn = (-1ULL << L2_PT_SHIFT),
    };

    printk("  Attempting to mark mfn %#lx as a superpage\n", op.arg1.mfn);
    int rc = hypercall_mmuext_op(&op, 1, NULL, DOMID_SELF);

    switch ( rc )
    {
    case -ENOSYS:
    case -EOPNOTSUPP:
        return xtf_skip("PV superpage support not detected\n");

    case -EINVAL:
        return xtf_success("Xen correctly rejected the bogus mark attempt\n");

    case 0:
        return xtf_failure("Marking bogus superpage succeeded\n");

    default:
        return xtf_error("Unexpected error %d\n", rc);
    }
}

/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */