diff options
-rw-r--r-- | Kernel/Arch/aarch64/CrashHandler.cpp | 2 | ||||
-rw-r--r-- | Kernel/Arch/aarch64/Dummy.cpp | 20 | ||||
-rw-r--r-- | Kernel/Arch/aarch64/Interrupts.cpp | 2 | ||||
-rw-r--r-- | Kernel/Arch/aarch64/PageDirectory.cpp | 8 | ||||
-rw-r--r-- | Kernel/Arch/aarch64/PageDirectory.h | 28 | ||||
-rw-r--r-- | Kernel/Arch/aarch64/Processor.h | 14 | ||||
-rw-r--r-- | Kernel/Arch/aarch64/SafeMem.cpp | 14 | ||||
-rw-r--r-- | Kernel/Arch/aarch64/ScopedCritical.cpp | 8 | ||||
-rw-r--r-- | Kernel/Arch/aarch64/init.cpp | 2 | ||||
-rw-r--r-- | Kernel/Assertions.h | 1 |
10 files changed, 50 insertions, 49 deletions
diff --git a/Kernel/Arch/aarch64/CrashHandler.cpp b/Kernel/Arch/aarch64/CrashHandler.cpp index 67920e0d8d..0dec16dff1 100644 --- a/Kernel/Arch/aarch64/CrashHandler.cpp +++ b/Kernel/Arch/aarch64/CrashHandler.cpp @@ -13,7 +13,7 @@ namespace Kernel { void handle_crash(Kernel::RegisterState const&, char const*, int, bool) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } } diff --git a/Kernel/Arch/aarch64/Dummy.cpp b/Kernel/Arch/aarch64/Dummy.cpp index c84cfcb7b0..0fa4c937d5 100644 --- a/Kernel/Arch/aarch64/Dummy.cpp +++ b/Kernel/Arch/aarch64/Dummy.cpp @@ -31,7 +31,7 @@ namespace Kernel { void get_fast_random_bytes(Bytes) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } } @@ -41,12 +41,12 @@ namespace Kernel { void Mutex::lock(Mode, [[maybe_unused]] LockLocation const& location) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } void Mutex::unlock() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } } @@ -56,7 +56,7 @@ namespace Kernel { SpinlockProtected<Process::List>& Process::all_instances() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } } @@ -76,36 +76,36 @@ static Singleton<SpinlockProtected<Inode::AllInstancesList>> s_all_instances; SpinlockProtected<Inode::AllInstancesList>& Inode::all_instances() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return s_all_instances; } LockRefPtr<Memory::SharedInodeVMObject> Inode::shared_vmobject() const { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return LockRefPtr<Memory::SharedInodeVMObject>(nullptr); } void Inode::will_be_destroyed() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } ErrorOr<void> Inode::set_shared_vmobject(Memory::SharedInodeVMObject&) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return {}; } ErrorOr<size_t> Inode::read_bytes(off_t, size_t, UserOrKernelBuffer&, OpenFileDescription*) const { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return 0; } ErrorOr<size_t> Inode::write_bytes(off_t, size_t, UserOrKernelBuffer const&, OpenFileDescription*) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return 0; } diff --git a/Kernel/Arch/aarch64/Interrupts.cpp b/Kernel/Arch/aarch64/Interrupts.cpp index a14db353f5..0a0a82f546 100644 --- a/Kernel/Arch/aarch64/Interrupts.cpp +++ b/Kernel/Arch/aarch64/Interrupts.cpp @@ -83,7 +83,7 @@ void register_generic_interrupt_handler(u8 interrupt_number, GenericInterruptHan if (!handler_slot->is_shared_handler()) { if (handler_slot->type() == HandlerType::SpuriousInterruptHandler) { // FIXME: Add support for spurious interrupts on aarch64 - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } VERIFY(handler_slot->type() == HandlerType::IRQHandler); auto& previous_handler = *handler_slot; diff --git a/Kernel/Arch/aarch64/PageDirectory.cpp b/Kernel/Arch/aarch64/PageDirectory.cpp index c64e4edf04..99f6335a35 100644 --- a/Kernel/Arch/aarch64/PageDirectory.cpp +++ b/Kernel/Arch/aarch64/PageDirectory.cpp @@ -12,17 +12,17 @@ namespace Kernel::Memory { void PageDirectory::register_page_directory(PageDirectory*) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } void PageDirectory::deregister_page_directory(PageDirectory*) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } LockRefPtr<PageDirectory> PageDirectory::find_current() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return nullptr; } @@ -33,7 +33,7 @@ void activate_kernel_page_directory(PageDirectory const&) void activate_page_directory(PageDirectory const&, Thread*) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } } diff --git a/Kernel/Arch/aarch64/PageDirectory.h b/Kernel/Arch/aarch64/PageDirectory.h index c05d406316..5f3da5e2a4 100644 --- a/Kernel/Arch/aarch64/PageDirectory.h +++ b/Kernel/Arch/aarch64/PageDirectory.h @@ -60,25 +60,25 @@ public: bool is_present() const { return (raw() & Present) == Present; } void set_present(bool) { } - bool is_user_allowed() const { VERIFY_NOT_REACHED(); } + bool is_user_allowed() const { TODO_AARCH64(); } void set_user_allowed(bool) { } - bool is_huge() const { VERIFY_NOT_REACHED(); } + bool is_huge() const { TODO_AARCH64(); } void set_huge(bool) { } - bool is_writable() const { VERIFY_NOT_REACHED(); } + bool is_writable() const { TODO_AARCH64(); } void set_writable(bool) { } - bool is_write_through() const { VERIFY_NOT_REACHED(); } + bool is_write_through() const { TODO_AARCH64(); } void set_write_through(bool) { } - bool is_cache_disabled() const { VERIFY_NOT_REACHED(); } + bool is_cache_disabled() const { TODO_AARCH64(); } void set_cache_disabled(bool) { } - bool is_global() const { VERIFY_NOT_REACHED(); } + bool is_global() const { TODO_AARCH64(); } void set_global(bool) { } - bool is_execute_disabled() const { VERIFY_NOT_REACHED(); } + bool is_execute_disabled() const { TODO_AARCH64(); } void set_execute_disabled(bool) { } private: @@ -116,25 +116,25 @@ public: bool is_present() const { return (raw() & Present) == Present; } void set_present(bool) { } - bool is_user_allowed() const { VERIFY_NOT_REACHED(); } + bool is_user_allowed() const { TODO_AARCH64(); } void set_user_allowed(bool) { } - bool is_writable() const { VERIFY_NOT_REACHED(); } + bool is_writable() const { TODO_AARCH64(); } void set_writable(bool) { } - bool is_write_through() const { VERIFY_NOT_REACHED(); } + bool is_write_through() const { TODO_AARCH64(); } void set_write_through(bool) { } - bool is_cache_disabled() const { VERIFY_NOT_REACHED(); } + bool is_cache_disabled() const { TODO_AARCH64(); } void set_cache_disabled(bool) { } - bool is_global() const { VERIFY_NOT_REACHED(); } + bool is_global() const { TODO_AARCH64(); } void set_global(bool) { } - bool is_execute_disabled() const { VERIFY_NOT_REACHED(); } + bool is_execute_disabled() const { TODO_AARCH64(); } void set_execute_disabled(bool) { } - bool is_pat() const { VERIFY_NOT_REACHED(); } + bool is_pat() const { TODO_AARCH64(); } void set_pat(bool) { } bool is_null() const { return m_raw == 0; } diff --git a/Kernel/Arch/aarch64/Processor.h b/Kernel/Arch/aarch64/Processor.h index 57a2b07c47..d8ecba68db 100644 --- a/Kernel/Arch/aarch64/Processor.h +++ b/Kernel/Arch/aarch64/Processor.h @@ -52,22 +52,22 @@ public: ALWAYS_INLINE static void pause() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } ALWAYS_INLINE static void wait_check() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } ALWAYS_INLINE u8 physical_address_bit_width() const { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return 0; } ALWAYS_INLINE u8 virtual_address_bit_width() const { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return 0; } @@ -103,13 +103,13 @@ public: ALWAYS_INLINE static FlatPtr current_in_irq() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return 0; } ALWAYS_INLINE static u64 read_cpu_counter() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return 0; } @@ -165,7 +165,7 @@ public: static void deferred_call_queue(Function<void()> /* callback */) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } [[noreturn]] static void halt(); diff --git a/Kernel/Arch/aarch64/SafeMem.cpp b/Kernel/Arch/aarch64/SafeMem.cpp index 93167f1108..2ae30eb30f 100644 --- a/Kernel/Arch/aarch64/SafeMem.cpp +++ b/Kernel/Arch/aarch64/SafeMem.cpp @@ -11,13 +11,13 @@ namespace Kernel { bool safe_memset(void*, int, size_t, void*&) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return false; } ssize_t safe_strnlen(char const*, unsigned long, void*&) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return 0; } @@ -30,31 +30,31 @@ bool safe_memcpy(void* dest_ptr, void const* src_ptr, unsigned long n, void*&) Optional<bool> safe_atomic_compare_exchange_relaxed(u32 volatile*, u32&, u32) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return {}; } Optional<u32> safe_atomic_load_relaxed(u32 volatile*) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return {}; } Optional<u32> safe_atomic_fetch_add_relaxed(u32 volatile*, u32) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return {}; } Optional<u32> safe_atomic_exchange_relaxed(u32 volatile*, u32) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return {}; } bool safe_atomic_store_relaxed(u32 volatile*, u32) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return {}; } diff --git a/Kernel/Arch/aarch64/ScopedCritical.cpp b/Kernel/Arch/aarch64/ScopedCritical.cpp index 0a65704f24..916e8c7ddb 100644 --- a/Kernel/Arch/aarch64/ScopedCritical.cpp +++ b/Kernel/Arch/aarch64/ScopedCritical.cpp @@ -15,23 +15,23 @@ ScopedCritical::~ScopedCritical() = default; ScopedCritical::ScopedCritical(ScopedCritical&& /*from*/) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } ScopedCritical& ScopedCritical::operator=(ScopedCritical&& /*from*/) { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); return *this; } void ScopedCritical::leave() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } void ScopedCritical::enter() { - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } } diff --git a/Kernel/Arch/aarch64/init.cpp b/Kernel/Arch/aarch64/init.cpp index a01940205b..10057e612f 100644 --- a/Kernel/Arch/aarch64/init.cpp +++ b/Kernel/Arch/aarch64/init.cpp @@ -158,7 +158,7 @@ extern "C" [[noreturn]] void init() for (;;) asm volatile("wfi"); - VERIFY_NOT_REACHED(); + TODO_AARCH64(); } class QueryFirmwareVersionMboxMessage : RPi::Mailbox::Message { diff --git a/Kernel/Assertions.h b/Kernel/Assertions.h index deddab93c0..aa0094f5e2 100644 --- a/Kernel/Assertions.h +++ b/Kernel/Assertions.h @@ -26,6 +26,7 @@ extern "C" { } #define TODO() __assertion_failed("TODO", __FILE__, __LINE__, __PRETTY_FUNCTION__) +#define TODO_AARCH64() __assertion_failed("TODO_AARCH64", __FILE__, __LINE__, __PRETTY_FUNCTION__) #define VERIFY_INTERRUPTS_DISABLED() VERIFY(!(Processor::are_interrupts_enabled())) #define VERIFY_INTERRUPTS_ENABLED() VERIFY(Processor::are_interrupts_enabled()) |