diff options
Diffstat (limited to 'src/kernel/arch/amd64/pagedir.c')
| -rw-r--r-- | src/kernel/arch/amd64/pagedir.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/kernel/arch/amd64/pagedir.c b/src/kernel/arch/amd64/pagedir.c index f0e45d5..4189774 100644 --- a/src/kernel/arch/amd64/pagedir.c +++ b/src/kernel/arch/amd64/pagedir.c @@ -25,6 +25,7 @@ static bool addr_canonical(const __user void *addr) { static __user void *addr_canonize(const __user void *addr) { union virt_addr v = {.full = (void __user*)addr}; v.sign = (((uintptr_t)addr >> 47) & 1) * 0xFFFF; + // TODO this assert can fail assert(addr_canonical(addr)); return v.full; } |