# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1614117297 -3600
# Node ID 454a882ae3ae6483744fd4ae526b9cf043692ddb
# Parent  6fd906feb37ee85d07570c6b1946d2bd719265ae
Added a comment about an alternative failure result.

diff -r 6fd906feb37e -r 454a882ae3ae ipc.cc
--- a/ipc.cc	Tue Feb 23 22:54:29 2021 +0100
+++ b/ipc.cc	Tue Feb 23 22:54:57 2021 +0100
@@ -23,6 +23,8 @@
 {
     SendFlexpage send_flexpage = flexpage->to_send(offset, hot_spot, max_offset);
 
+    /* NOTE: Consider l4_fpage_invalid() as the fpage here. */
+
     if (!send_flexpage.order)
         return -L4_ERANGE;