Searched refs:p4d (Results 1 - 6 of 6) sorted by relevance
/device/soc/rockchip/rk3588/kernel/drivers/video/rockchip/rga3/ |
H A D | rga_mm.c | 75 p4d_t *p4d; in rga_get_user_pages_from_vma() local 100 p4d = p4d_offset(pgd, (Memory + i) << PAGE_SHIFT); in rga_get_user_pages_from_vma() 101 if (p4d_none(*p4d) || unlikely(p4d_bad(*p4d))) { in rga_get_user_pages_from_vma() 102 pr_err("failed to get p4d\n"); in rga_get_user_pages_from_vma() 107 pud = pud_offset(p4d, (Memory + i) << PAGE_SHIFT); in rga_get_user_pages_from_vma()
|
H A D | rga_dma_buf.c | 234 p4d_t *p4d; in rga_MapUserMemory() local 308 p4d = p4d_offset(pgd, (Memory + i) << PAGE_SHIFT); in rga_MapUserMemory() 309 if (p4d_none(*p4d) || unlikely(p4d_bad(*p4d))) { in rga_MapUserMemory() 310 pr_err("failed to get p4d, result = %d, pageCount = %d\n", in rga_MapUserMemory() 316 pud = pud_offset(p4d, (Memory + i) << PAGE_SHIFT); in rga_MapUserMemory()
|
H A D | rga2_mmu_info.c | 228 p4d_t *p4d; in rga2_MapUserMemory() local 302 p4d = p4d_offset(pgd, (Memory + i) << PAGE_SHIFT); in rga2_MapUserMemory() 303 if (p4d_none(*p4d) || unlikely(p4d_bad(*p4d))) { in rga2_MapUserMemory() 304 pr_err("failed to get p4d, result = %d, pageCount = %d\n", in rga2_MapUserMemory() 310 pud = pud_offset(p4d, (Memory + i) << PAGE_SHIFT); in rga2_MapUserMemory()
|
/device/soc/hisilicon/hi3516dv300/sdk_linux/drv/osal/linux/mmz/ |
H A D | media_mem.c | 653 p4d_t *p4d = NULL; local 680 p4d = p4d_offset(pgd, virt); 681 pud = pud_offset(p4d, virt);
|
/device/soc/rockchip/common/sdk_linux/include/linux/ |
H A D | mm.h | 2061 static inline int __pud_alloc(struct mm_struct *mm, p4d_t *p4d, unsigned long address)
in __pud_alloc() argument 2073 int __pud_alloc(struct mm_struct *mm, p4d_t *p4d, unsigned long address);
2173 static inline pud_t *pud_alloc(struct mm_struct *mm, p4d_t *p4d, unsigned long address)
in pud_alloc() argument 2175 return (unlikely(p4d_none(*p4d)) && __pud_alloc(mm, p4d, address)) ? NULL : pud_offset(p4d, address);
in pud_alloc() 3049 pud_t *vmemmap_pud_populate(p4d_t *p4d, unsigned long addr, int node);
|
/device/soc/rockchip/common/vendor/drivers/video/rockchip/rga2/ |
H A D | rga2_mmu_info.c | 839 p4d_t *p4d;
in rga2_MapUserMemory() local 900 p4d = p4d_offset(pgd, (Memory + i) << PAGE_SHIFT);
in rga2_MapUserMemory() 901 if (p4d_none(*p4d) || unlikely(p4d_bad(*p4d))) {
in rga2_MapUserMemory() 902 pr_err("RGA2 failed to get p4d, result = %d, pageCount = %d\n", result, pageCount);
in rga2_MapUserMemory() 907 pud = pud_offset(p4d, (Memory + i) << PAGE_SHIFT);
in rga2_MapUserMemory()
|
Completed in 14 milliseconds