diff --git a/base-hw/src/base/signal/signal.cc b/base-hw/src/base/signal/signal.cc index 961548dac6..18aac7e092 100644 --- a/base-hw/src/base/signal/signal.cc +++ b/base-hw/src/base/signal/signal.cc @@ -51,7 +51,7 @@ Signal_receiver::Signal_receiver() PDBG("Failed to alloc signal receiver"); break; } - PINF("upgrade quota donation for Signal session"); + PINF("upgrading quota donation for Signal session"); env()->parent()->upgrade(s->cap(), "ram_quota=4K"); session_upgraded = 1; } @@ -89,7 +89,7 @@ Signal_context_capability Signal_receiver::manage(Signal_context * const c) } catch (Signal_session::Out_of_metadata) { /* upgrade session quota and try again, but only once */ - PINF("upgrade quota donation for Signal session"); + PINF("upgrading quota donation for Signal session"); if (session_upgraded) return Signal_context_capability(); env()->parent()->upgrade(s->cap(), "ram_quota=4K"); session_upgraded = 1; diff --git a/base-linux/include/base/platform_env.h b/base-linux/include/base/platform_env.h index 8611b9c921..d18f891c9a 100644 --- a/base-linux/include/base/platform_env.h +++ b/base-linux/include/base/platform_env.h @@ -304,7 +304,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::RAM session"); + PINF("upgrading quota donation for Env::RAM session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } diff --git a/base/include/base/platform_env.h b/base/include/base/platform_env.h index 69d992ac16..45c7c604ec 100644 --- a/base/include/base/platform_env.h +++ b/base/include/base/platform_env.h @@ -63,7 +63,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::RM session"); + PINF("upgrading quota donation for Env::RM session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } @@ -84,7 +84,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::RM session"); + PINF("upgrading quota donation for Env::RM session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } @@ -115,7 +115,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::RAM session"); + PINF("upgrading quota donation for Env::RAM session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } @@ -145,7 +145,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::CPU session"); + PINF("upgrading quota donation for Env::CPU session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } diff --git a/base/src/base/signal/signal.cc b/base/src/base/signal/signal.cc index 0a0ae55a61..23df8880a9 100644 --- a/base/src/base/signal/signal.cc +++ b/base/src/base/signal/signal.cc @@ -253,7 +253,7 @@ Signal_context_capability Signal_receiver::manage(Signal_context *context) if (try_again) break; - PINF("upgrade quota donation for SIGNAL session"); + PINF("upgrading quota donation for SIGNAL session"); env()->parent()->upgrade(signal_connection()->cap(), "ram_quota=4K"); try_again = true; } diff --git a/os/src/server/iso9660/main.cc b/os/src/server/iso9660/main.cc index 909c3d05b9..19a60767e1 100644 --- a/os/src/server/iso9660/main.cc +++ b/os/src/server/iso9660/main.cc @@ -132,7 +132,7 @@ namespace Iso { if (try_again) break; - PINF("upgrade quota donation for RM session"); + PINF("upgrading quota donation for RM session"); Genode::env()->parent()->upgrade(_rm->cap(), "ram_quota=32K"); try_again = true; }