diff options
author | Robert Morris <[email protected]> | 2019-09-20 10:27:03 -0400 |
---|---|---|
committer | Robert Morris <[email protected]> | 2019-09-20 10:27:03 -0400 |
commit | ca30cac702157d0d3a2c89e4436f0bff303a6e0a (patch) | |
tree | 6adf0e7f93efcda3b477354b0e2e3d6c75b3c419 /kernel/vm.c | |
parent | 402e7b56053312f4e96737ee7cd82395c998f00f (diff) | |
download | xv6-labs-ca30cac702157d0d3a2c89e4436f0bff303a6e0a.tar.gz xv6-labs-ca30cac702157d0d3a2c89e4436f0bff303a6e0a.tar.bz2 xv6-labs-ca30cac702157d0d3a2c89e4436f0bff303a6e0a.zip |
more incorrect cast to uint
Diffstat (limited to 'kernel/vm.c')
-rw-r--r-- | kernel/vm.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/vm.c b/kernel/vm.c index b2bfe2c..51165b7 100644 --- a/kernel/vm.c +++ b/kernel/vm.c @@ -359,7 +359,7 @@ copyout(pagetable_t pagetable, uint64 dstva, char *src, uint64 len) uint64 n, va0, pa0; while(len > 0){ - va0 = (uint)PGROUNDDOWN(dstva); + va0 = PGROUNDDOWN(dstva); pa0 = walkaddr(pagetable, va0); if(pa0 == 0) return -1; @@ -384,7 +384,7 @@ copyin(pagetable_t pagetable, char *dst, uint64 srcva, uint64 len) uint64 n, va0, pa0; while(len > 0){ - va0 = (uint)PGROUNDDOWN(srcva); + va0 = PGROUNDDOWN(srcva); pa0 = walkaddr(pagetable, va0); if(pa0 == 0) return -1; |