#include "ioram.h"
#include "vm.h"
#include "libcflat.h"
#include "desc.h"
#include "types.h"
#include "processor.h"

static void test_cmpxchg8b(u32 *mem)
{
    mem[1] = 2;
    mem[0] = 1;
    asm("push %%ebx\n"
        "mov %[ebx_val], %%ebx\n"
        "lock cmpxchg8b (%0)\n"
        "pop %%ebx" : : "D" (mem),
        "d" (2), "a" (1), "c" (4), [ebx_val] "i" (3) : "memory");
    report(mem[0] == 3 && mem[1] == 4, "cmpxchg8b");
}

int main(void)
{
	setup_vm();

	test_cmpxchg8b(phys_to_virt(read_cr3()) + 4088);
	return report_summary();
}