diff options
Diffstat (limited to 'kernel/kapi')
| -rw-r--r-- | kernel/kapi/cpu.cpp | 2 | ||||
| -rw-r--r-- | kernel/kapi/devices/driver_registry.cpp | 4 | ||||
| -rw-r--r-- | kernel/kapi/devices/facet_registry.cpp | 4 | ||||
| -rw-r--r-- | kernel/kapi/memory.cpp | 10 |
4 files changed, 10 insertions, 10 deletions
diff --git a/kernel/kapi/cpu.cpp b/kernel/kapi/cpu.cpp index 44331908..61f13edc 100644 --- a/kernel/kapi/cpu.cpp +++ b/kernel/kapi/cpu.cpp @@ -16,7 +16,7 @@ namespace kapi::cpu kstd::println(kstd::print_sink::stderr, "\tWrite: {}", context.is_write_access); kstd::println(kstd::print_sink::stderr, "\tUser: {}", context.is_user_mode); - kapi::system::panic("Halting the system due to an unrecoverable page fault."); + kapi::system::panic("[OS:CPU] Halting the system due to an unrecoverable page fault."); } } // namespace 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; diff --git a/kernel/kapi/memory.cpp b/kernel/kapi/memory.cpp index a0445645..1c6fa2c8 100644 --- a/kernel/kapi/memory.cpp +++ b/kernel/kapi/memory.cpp @@ -27,17 +27,17 @@ namespace kapi::memory auto allocate_many(std::size_t) noexcept -> std::optional<std::pair<frame, std::size_t>> override { - system::panic("Tried to allocate frames without an active allocator."); + system::panic("[OS:MEM] Tried to allocate frames without an active allocator."); } auto mark_used(frame) -> void override { - system::panic("Tried to mark frame as used without an active allocator."); + system::panic("[OS:MEM] Tried to mark frame as used without an active allocator."); } auto release_many(std::pair<frame, std::size_t>) -> void override { - system::panic("Tried to release frames without an active allocator."); + system::panic("[OS:MEM] Tried to release frames without an active allocator."); } }; @@ -47,12 +47,12 @@ namespace kapi::memory auto map(page, frame, flags) -> std::byte * override { - system::panic("Tried to map a page without an active mapper."); + system::panic("[OS:MEM] Tried to map a page without an active mapper."); } auto unmap(page) -> void override { - system::panic("Tried to unmap a page without an active mapper."); + system::panic("[OS:MEM] Tried to unmap a page without an active mapper."); } auto try_unmap(page) noexcept -> bool override |