/* Bad guest address: */
        rv = ERR_MOP(info, target, WRITE, mem1, size, GADDR((void *)~0xfffUL), CHECK_ONLY);
-       TEST_ASSERT(rv > 0, "ioctl does not report bad guest memory access");
+       TEST_ASSERT(rv > 0, "ioctl does not report bad guest memory address with CHECK_ONLY");
+       rv = ERR_MOP(info, target, WRITE, mem1, size, GADDR((void *)~0xfffUL));
+       TEST_ASSERT(rv > 0, "ioctl does not report bad guest memory address on write");
 
        /* Bad host address: */
        rv = ERR_MOP(info, target, WRITE, 0, size, GADDR_V(mem1));