Warning: file_get_contents(https://raw.githubusercontent.com/Den1xxx/Filemanager/master/languages/ru.json): failed to open stream: HTTP request failed! HTTP/1.1 404 Not Found in /home/familylifersmpc/htdocs/www.familylifersmpc.com/index.php on line 91
/* SPDX-License-Identifier: GPL-2.0 */ /* * Copyright (C) 2005-2017 Andes Technology Corporation */ #ifndef _ASMNDS32_PAGE_H #define _ASMNDS32_PAGE_H #ifdef CONFIG_ANDES_PAGE_SIZE_4KB #define PAGE_SHIFT 12 #endif #ifdef CONFIG_ANDES_PAGE_SIZE_8KB #define PAGE_SHIFT 13 #endif #include #define PAGE_SIZE (_AC(1,UL) << PAGE_SHIFT) #define PAGE_MASK (~(PAGE_SIZE-1)) #ifdef __KERNEL__ #ifndef __ASSEMBLY__ struct page; struct vm_area_struct; #ifdef CONFIG_CPU_CACHE_ALIASING extern void copy_user_highpage(struct page *to, struct page *from, unsigned long vaddr, struct vm_area_struct *vma); extern void clear_user_highpage(struct page *page, unsigned long vaddr); void copy_user_page(void *vto, void *vfrom, unsigned long vaddr, struct page *to); void clear_user_page(void *addr, unsigned long vaddr, struct page *page); #define __HAVE_ARCH_COPY_USER_HIGHPAGE #define clear_user_highpage clear_user_highpage #else #define clear_user_page(page, vaddr, pg) clear_page(page) #define copy_user_page(to, from, vaddr, pg) copy_page(to, from) #endif void clear_page(void *page); void copy_page(void *to, void *from); typedef unsigned long pte_t; typedef unsigned long pgd_t; typedef