Lines Matching refs:p4d_t

390 static inline int p4d_same(p4d_t p4d_a, p4d_t p4d_b)  in p4d_same()
561 void p4d_clear_bad(p4d_t *);
576 static inline int p4d_none_or_clear_bad(p4d_t *p4d)  in p4d_none_or_clear_bad()
1042 int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot);
1043 int p4d_clear_huge(p4d_t *p4d);
1045 static inline int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot)  in p4d_set_huge()
1049 static inline int p4d_clear_huge(p4d_t *p4d)  in p4d_clear_huge()
1059 int p4d_free_pud_page(p4d_t *p4d, unsigned long addr);
1063 static inline int p4d_set_huge(p4d_t *p4d, phys_addr_t addr, pgprot_t prot)  in p4d_set_huge()
1075 static inline int p4d_clear_huge(p4d_t *p4d)  in p4d_clear_huge()
1087 static inline int p4d_free_pud_page(p4d_t *p4d, unsigned long addr)  in p4d_free_pud_page()