Searched refs:KERNEL_HIGH_VADDR (Results 1 – 2 of 2) sorted by relevance
178 #define KERNEL_HIGH_VADDR MEM_SV_START macro231 #define KERNEL_HIGH_VADDR MEM_USER_INTRPT macro232 #define FIXADDR_TOP (KERNEL_HIGH_VADDR - PAGE_SIZE)
1070 if (max_va < KERNEL_HIGH_VADDR) in validate_va()1072 max_va, KERNEL_HIGH_VADDR); in validate_va()