cpudriver: get the mapping size for armv8 mappings
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jul 2019 14:56:19 +0000 (16:56 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jul 2019 14:56:19 +0000 (16:56 +0200)
commit5cd73bead9f1b52802e2e8b7f78b02788c4aa579
tree8c1edf84610826293b69bdb6d440f25f3e69044f
parenta3c6f0b0f137167033d218a577cb0ddc441eb44c
cpudriver: get the mapping size for armv8 mappings

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
kernel/paging_generic.c