gwdev/Sync
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Slight kernel.h cleanup.

Browse Source
This commit is contained in:
Curle 2019-07-24 15:54:32 +01:00
parent f74809718a
commit debd7ef91a
1 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
include/kernel.h
View File

@ -21,6 +21,7 @@
#include <stdint.h>
#include <stdbool.h>
#include <float.h>
#include <x86intrin.h>
#include <efibind.h>
#include <efitypes.h>
@ -626,7 +627,7 @@ void PrepareSystem(FILELOADER_PARAMS* FLOP);
/* System Utilities */
size_t ClockTick(void);
void Halt(void);
void panic(void);
void PrepareAVX(void);
void AVXStub(void);
void PrepareMaskableInterrupts(void);
@ -730,6 +731,13 @@ void timer_install();
/* ==================== Memory ==================== */
// Standard GCC reqs
void* memmove (void* dest, const void* src, size_t len);
void memset(void* src, int chr, size_t n);
void memcpy(void* dest, void* src, size_t n);
int memcmp (const void* str1, const void* str2, size_t count);
uint8_t VerifyZero(size_t Length, size_t Start);
size_t FetchMemoryLimit(void);
@ -755,9 +763,10 @@ 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);
void* memsetAVX(void* Dest, const uint8_t Source, size_t Length);
void* memsetAVX_By4Bytes(void* Dest, const uint32_t Source, size_t Length);
uint8_t memcmpAVX(const void* String1, const void* String2, size_t Length);
#define CACHESIZE 3*1024*1024
/* Physical Addresses */