2 * Copyright (C) 2016 - ARM Ltd
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
13 * You should have received a copy of the GNU General Public License
14 * along with this program. If not, see <http://www.gnu.org/licenses/>.
17 #ifndef __ARM64_S2_PGTABLE_NOPUD_H_
18 #define __ARM64_S2_PGTABLE_NOPUD_H_
20 #define __S2_PGTABLE_PUD_FOLDED
22 #define S2_PUD_SHIFT S2_PGDIR_SHIFT
23 #define S2_PTRS_PER_PUD 1
24 #define S2_PUD_SIZE (_AC(1, UL) << S2_PUD_SHIFT)
25 #define S2_PUD_MASK (~(S2_PUD_SIZE-1))
27 #define stage2_pgd_none(pgd) (0)
28 #define stage2_pgd_present(pgd) (1)
29 #define stage2_pgd_clear(pgd) do { } while (0)
30 #define stage2_pgd_populate(pgd, pud) do { } while (0)
32 #define stage2_pud_offset(pgd, address) ((pud_t *)(pgd))
34 #define stage2_pud_free(x) do { } while (0)
36 #define stage2_pud_addr_end(addr, end) (end)
37 #define stage2_pud_table_empty(pmdp) (0)