RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-26 12:27:34 +00:00
Code Issues Activity Actions

Kernel: Add VERIFY_NOT_REACHED to stub aarch64 Processor functions

Browse source
This commit is contained in:
James Mintram 2022-04-04 21:59:45 +01:00 • committed by Brian Gianforcaro
parent 463910df98
commit 92a8383101
1 changed files with 47 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

57
Kernel/Arch/aarch64/Processor.h
View file

@ -32,36 +32,63 @@ struct [[gnu::aligned(16)]] FPUState
class Processor {
public:
void set_specific(ProcessorSpecificDataID /*specific_id*/, void* /*ptr*/) { }
void set_specific(ProcessorSpecificDataID /*specific_id*/, void* /*ptr*/)
{
VERIFY_NOT_REACHED();
}
template<typename T>
T* get_specific() { return 0; }
T* get_specific()
{
VERIFY_NOT_REACHED();
return 0;
}
ALWAYS_INLINE static void pause() { }
ALWAYS_INLINE static void wait_check() { }
ALWAYS_INLINE static void pause()
{
VERIFY_NOT_REACHED();
}
ALWAYS_INLINE static void wait_check()
{
VERIFY_NOT_REACHED();
}
ALWAYS_INLINE u8 physical_address_bit_width() const { return 0; }
ALWAYS_INLINE u8 virtual_address_bit_width() const { return 0; }
ALWAYS_INLINE u8 physical_address_bit_width() const
{
VERIFY_NOT_REACHED();
return 0;
}
ALWAYS_INLINE u8 virtual_address_bit_width() const
{
VERIFY_NOT_REACHED();
return 0;
}
ALWAYS_INLINE static bool is_initialized()
{
VERIFY_NOT_REACHED();
return false;
}
ALWAYS_INLINE static void flush_tlb_local(VirtualAddress&, size_t&)
{
VERIFY_NOT_REACHED();
}
ALWAYS_INLINE static void flush_tlb(Memory::PageDirectory const*, VirtualAddress const&, size_t)
{
VERIFY_NOT_REACHED();
}
ALWAYS_INLINE static u32 current_id()
{
VERIFY_NOT_REACHED();
return 0;
}
ALWAYS_INLINE static Thread* current_thread()
{
VERIFY_NOT_REACHED();
return 0;
}
@ -77,26 +104,36 @@ public:
ALWAYS_INLINE static FlatPtr current_in_irq()
{
VERIFY_NOT_REACHED();
return 0;
}
ALWAYS_INLINE static u64 read_cpu_counter() { return 0; }
ALWAYS_INLINE static u64 read_cpu_counter()
{
VERIFY_NOT_REACHED();
return 0;
}
ALWAYS_INLINE static void enter_critical() { }
ALWAYS_INLINE static void leave_critical() { }
ALWAYS_INLINE static void enter_critical() { VERIFY_NOT_REACHED(); }
ALWAYS_INLINE static void leave_critical() { VERIFY_NOT_REACHED(); }
ALWAYS_INLINE static u32 in_critical()
{
VERIFY_NOT_REACHED();
return 0;
}
ALWAYS_INLINE static Thread* idle_thread()
{
VERIFY_NOT_REACHED();
return nullptr;
}
ALWAYS_INLINE static Processor& current() { VERIFY_NOT_REACHED(); }
static void deferred_call_queue(Function<void()> /* callback */) { }
static void deferred_call_queue(Function<void()> /* callback */)
{
VERIFY_NOT_REACHED();
}
[[noreturn]] static void halt()
{