diff options
Diffstat (limited to 'arch/x86_64/kapi/devices.cpp')
| -rw-r--r-- | arch/x86_64/kapi/devices.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/arch/x86_64/kapi/devices.cpp b/arch/x86_64/kapi/devices.cpp index 1e2fedd6..39dbc010 100644 --- a/arch/x86_64/kapi/devices.cpp +++ b/arch/x86_64/kapi/devices.cpp @@ -39,7 +39,7 @@ namespace kapi::devices for (auto driver : descriptors) { auto instance = driver->make_instance(); - kstd::println("[x86_64:DRV] registering driver '{}' ({})", instance->name(), driver->name()); + kstd::println("[ARCH:DRV] registering driver '{}' ({})", instance->name(), driver->name()); kapi::devices::driver_registry::get().add(std::move(instance)); } } @@ -54,7 +54,7 @@ namespace kapi::devices { if (!cpu_bus) { - system::panic("[x86_64:DEV] The CPU topology has not yet been initialized!"); + system::panic("[ARCH:DEV] The CPU topology has not yet been initialized!"); } return cpu_bus; @@ -64,7 +64,7 @@ namespace kapi::devices { if (cpu_bus) { - system::panic("[x86_64:DEV] The CPU topology has already been initialized!"); + system::panic("[ARCH:DEV] The CPU topology has already been initialized!"); } cpu_bus = kstd::make_shared<arch::bus::cpu>(); |