Searched refs:KERNEL_HIGH_VADDR (Results 1 – 3 of 3) sorted by relevance
178 #define KERNEL_HIGH_VADDR _AC(0xfffffff800000000, UL) /* high 32GB */ macro179 #define FIXADDR_BASE (KERNEL_HIGH_VADDR - 0x300000000) /* 4 GB */180 #define FIXADDR_TOP (KERNEL_HIGH_VADDR - 0x200000000) /* 4 GB */182 #define MEM_SV_START (KERNEL_HIGH_VADDR - 0x100000000) /* 256 MB */227 #define KERNEL_HIGH_VADDR MEM_USER_INTRPT macro228 #define FIXADDR_TOP (KERNEL_HIGH_VADDR - PAGE_SIZE)
141 return addr >= KERNEL_HIGH_VADDR || addr != pgd_addr_normalize(addr); in pgd_addr_invalid()
1255 if (max_va < KERNEL_HIGH_VADDR) in validate_va()1257 max_va, KERNEL_HIGH_VADDR); in validate_va()