ExoSkye/r4
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use 64bit pointers instead of 32bit pointers

Browse Source
This commit is contained in:
ProtoKai 2022-12-09 11:29:33 +00:00
parent 106140ae11
commit c575adb838
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
kernel.c
View File

@ -1,9 +1,9 @@
#include <stddef.h>
#include <stdint.h>
volatile uint32_t** core_1 = (void*)0xE0;
volatile uint32_t** core_2 = (void*)0xE8;
volatile uint32_t** core_3 = (void*)0xF0;
volatile uint64_t** core_1 = (void*)0xE0;
volatile uint64_t** core_2 = (void*)0xE8;
volatile uint64_t** core_3 = (void*)0xF0;
void _start_core_1(void* addr) {