dprintf1("*ptr: %d\n", ptr_contents);
        expected_pkey_fault(pkey);
 }
+
+void test_read_of_access_disabled_region_with_page_already_mapped(int *ptr,
+               u16 pkey)
+{
+       int ptr_contents;
+
+       dprintf1("disabling access to PKEY[%02d], doing read @ %p\n",
+                               pkey, ptr);
+       ptr_contents = read_ptr(ptr);
+       dprintf1("reading ptr before disabling the read : %d\n",
+                       ptr_contents);
+       read_pkey_reg();
+       pkey_access_deny(pkey);
+       ptr_contents = read_ptr(ptr);
+       dprintf1("*ptr: %d\n", ptr_contents);
+       expected_pkey_fault(pkey);
+}
+
 void test_write_of_write_disabled_region(int *ptr, u16 pkey)
 {
        dprintf1("disabling write access to PKEY[%02d], doing write\n", pkey);
 void (*pkey_tests[])(int *ptr, u16 pkey) = {
        test_read_of_write_disabled_region,
        test_read_of_access_disabled_region,
+       test_read_of_access_disabled_region_with_page_already_mapped,
        test_write_of_write_disabled_region,
        test_write_of_access_disabled_region,
        test_kernel_write_of_access_disabled_region,