1 #include "libcflat.h" 2 #include "processor.h" 3 #include "desc.h" 4 5 int main(int ac, char **av) 6 { 7 int vector = write_cr4_safe(read_cr4() | X86_CR4_LA57); 8 int expected = this_cpu_has(X86_FEATURE_LA57) ? 0 : 13; 9 10 report(vector == expected, "%s when CR4.LA57 %ssupported", 11 expected ? "#GP" : "No fault", expected ? "un" : ""); 12 return report_summary(); 13 } 14