3  * EDAT test.
57 	report_prefix_push("edat off");  in test_dat()
58 	/* disable EDAT */  in test_dat()
74 	 * The FC bit (for large pages) should be ignored because EDAT is  in test_dat()
77 	 * erroneously enabled despite EDAT being off.  in test_dat()
86 	 * Segment protection should work even with EDAT off, try to write  in test_dat()
95 	/* The FC bit should be ignored because EDAT is off, like above */  in test_dat()
103 	 * Region1/2/3 protection should not work, because EDAT is off.  in test_dat()
131 	/* Enable EDAT */  in test_edat1()
146 	 * Region1/2/3 protection should work now, because EDAT is on. Try  in test_edat1()
274 	unsigned int edat;  in main()  local
276 	report_prefix_push("edat");  in main()
277 	edat = setup();  in main()
281 	if (edat)  in main()
284 		report_skip("EDAT not available");  in main()
286 	if (edat >= 2)  in main()