[ARM] Optimise set_pmd
Since we store two hardware pte tables contiguously, a common operation is to set two pmd entries. Rather than call set_pmd() with the associated overhead twice, we set the two PMD entries, and then call cpu_flush_pmd() to perform any CPU specific handling.
Showing
Please register or sign in to comment