diff --git a/include/kernel.h b/include/kernel.h index ad86c06..57e3c61 100644 --- a/include/kernel.h +++ b/include/kernel.h @@ -750,6 +750,15 @@ void MergeFragmentedMemory(void); EFI_PHYSICAL_ADDRESS PurgeAllMemory(void); EFI_PHYSICAL_ADDRESS AllocatePagetable(size_t PagetableSize); + +/* AVX */ +void* memmoveAVX(void* Dest, void* Source, size_t Length); +void* memcpyAVX(void* Dest, void* Source, size_t Length); +void* memsetAVX(void* Dest, void* Source, size_t Length); +void* memsetAVX_By4Bytes(void* Dest, void* Source, size_t Length); +uint8_t memcmpAVX(const void* String1, const void* String2, size_t Length); + + /* Physical Addresses */ __attribute__((malloc)) void* kalloc(size_t Length); __attribute__((malloc)) void* kalloc_16(size_t Length); @@ -787,8 +796,8 @@ EFI_VIRTUAL_ADDRESS AllocateVirtualAddress_By64Bytes(size_t Pages, EFI_VIRTUAL_A void ClearScreen(EFI_GRAPHICS_OUTPUT_PROTOCOL_MODE GPU); void FillScreen(EFI_GRAPHICS_OUTPUT_PROTOCOL_MODE GPU, uint32_t Color); -void ResetDefaultScreenColor(void); -void ResetDefaultScreen(void); +void ResetFillScreen(void); +void ResetScreen(void); void DrawPixel(EFI_GRAPHICS_OUTPUT_PROTOCOL_MODE GPU, uint32_t x,