]> xenbits.xensource.com Git - mini-os.git/commit
projects / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5a8cb5) | patch
mini-os: mm: switch need_pgt() to use walk_pt()
authorJuergen Gross <jgross@suse.com>
Tue, 20 Aug 2024 14:11:13 +0000 (16:11 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 20 Aug 2024 14:11:13 +0000 (16:11 +0200)
commit34bce475c42c844d382f00f799f332c380d38f1d
tree9320a530b4a92355b2cf6a09cc59e745d8e0bab5tree
parentc5a8cb5876c3bb416d255e9c8bba0bc4bc8a654ccommit | diff
mini-os: mm: switch need_pgt() to use walk_pt()

Instead of open coding a page table walk, use walk_pt() in need_pgt().

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
arch/x86/mm.c diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.