206         { 0xF0000, 0xFFFFF }, /* BIOS Area */  in test_i440fx_pam()
230         g_test_message("Checking area 0x%05x..0x%05x",  in test_i440fx_pam()
232         /* Switch to RE for the area */  in test_i440fx_pam()
237         /* Switch to WE for the area */  in test_i440fx_pam()
239         /* Write out a non-zero mask to the full area */  in test_i440fx_pam()
245         /* Switch to !RE for the area */  in test_i440fx_pam()
247         /* Verify the area is not our mask */  in test_i440fx_pam()
251         /* Verify the area is our new mask */  in test_i440fx_pam()
260         /* Verify the area is not our mask */  in test_i440fx_pam()
263         /* Switch to RE for the area */  in test_i440fx_pam()
266         /* Verify the area is our new mask */  in test_i440fx_pam()
269         /* Reset area */  in test_i440fx_pam()
272         /* Verify the area is not our new mask */  in test_i440fx_pam()