diff options
Diffstat (limited to 'kernel/kapi/devices')
| -rw-r--r-- | kernel/kapi/devices/driver_registry.cpp | 4 | ||||
| -rw-r--r-- | kernel/kapi/devices/facet_registry.cpp | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/kernel/kapi/devices/driver_registry.cpp b/kernel/kapi/devices/driver_registry.cpp index 7abb121f..405596cd 100644 --- a/kernel/kapi/devices/driver_registry.cpp +++ b/kernel/kapi/devices/driver_registry.cpp @@ -38,7 +38,7 @@ namespace kapi::devices { if (registry.has_value()) { - system::panic("[kernel] Device driver registry has already been initialized."); + system::panic("[OS:DRV] Device driver registry has already been initialized."); } registry.emplace(); @@ -48,7 +48,7 @@ namespace kapi::devices { if (!registry) { - system::panic("[kernel] Device driver registry has not been initialized."); + system::panic("[OS:DRV] Device driver registry has not been initialized."); } return *registry; diff --git a/kernel/kapi/devices/facet_registry.cpp b/kernel/kapi/devices/facet_registry.cpp index b2d12c86..2974c71e 100644 --- a/kernel/kapi/devices/facet_registry.cpp +++ b/kernel/kapi/devices/facet_registry.cpp @@ -29,7 +29,7 @@ namespace kapi::devices { if (registry.has_value()) { - system::panic("[kernel] Device facet registry has already been initialized."); + system::panic("[OS:DEV] Device facet registry has already been initialized."); } registry.emplace(); @@ -39,7 +39,7 @@ namespace kapi::devices { if (!registry) { - system::panic("[kernel] Device facet registry has not been initialized."); + system::panic("[OS:DEV] Device facet registry has not been initialized."); } return *registry; |