6 lines
59 B
C
6 lines
59 B
C
#pragma once
|
|
|
|
#include <stdint.h>
|
|
|
|
typedef uint64_t pte_t;
|
#pragma once
|
|
|
|
#include <stdint.h>
|
|
|
|
typedef uint64_t pte_t;
|