4 lines
41 B
C
4 lines
41 B
C
|
#include <stdint.h>
|
||
|
|
|
||
|
|
void init_paging();
|