mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 22:47:50 +00:00
parent
c4ec847680
commit
6ac68494db
@ -43,6 +43,8 @@
|
||||
|
||||
int pud_none(pud_t pud);
|
||||
|
||||
typedef unsigned pteval_t;
|
||||
|
||||
typedef struct page *pgtable_t;
|
||||
|
||||
#define page_to_phys(p) __pa((p)->virtual)
|
||||
|
Loading…
Reference in New Issue
Block a user