1.1 --- a/libexec/lib/src/external_pager.cc Thu Feb 23 23:49:26 2023 +0100
1.2 +++ b/libexec/lib/src/external_pager.cc Sat Feb 25 18:10:13 2023 +0100
1.3 @@ -39,7 +39,7 @@
1.4 /* A simple system pager also acting as a region mapper. */
1.5
1.6 ExternalPager::ExternalPager(address_t start, address_t end)
1.7 -: ExecPager(start, end)
1.8 +: ExecPager(start, end), NotificationSupport()
1.9 {
1.10 }
1.11
1.12 @@ -163,8 +163,7 @@
1.13
1.14 long ExternalPager::signal(unsigned long sig, unsigned long val)
1.15 {
1.16 - if (_notifier != NULL)
1.17 - _notifier->notify(NOTIFY_TASK_SIGNAL, (notify_values_t) {sig, val});
1.18 + notify_all(NOTIFY_TASK_SIGNAL, (notify_values_t) {sig, val});
1.19
1.20 return L4_EOK;
1.21 }