#include "libcflat.h"
#include "processor.h"
#include "desc.h"

int main(int ac, char **av)
{
	int vector = write_cr4_checking(read_cr4() | X86_CR4_LA57);
	int expected = this_cpu_has(X86_FEATURE_LA57) ? 0 : 13;

	report(vector == expected, "%s when CR4.LA57 %ssupported",
	       expected ? "#GP" : "No fault", expected ? "un" : "");
	return report_summary();
}