Lines Matching refs:vaddr_t
110 #define VM_MIN_ADDRESS ((vaddr_t)PAGE_SIZE)
123 #define VM_MAXUSER_ADDRESS ((vaddr_t)0x0000004000000000 - 16 * PAGE_SIZE)
124 #define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xffffffc000000000)
125 #define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xffffffd000000000)
159 #define VM_MAXUSER_ADDRESS ((vaddr_t)-0x7fffffff-1)/* 0xffff_ffff_8000_0000 */
160 #define VM_MIN_KERNEL_ADDRESS ((vaddr_t)-0x7fffffff-1)/* 0xffff_ffff_8000_0000 */
161 #define VM_MAX_KERNEL_ADDRESS ((vaddr_t)-0x10000000) /* 0xffff_ffff_f000_0000 */
177 #define VM_MAXUSER_ADDRESS32 ((vaddr_t)(1UL << 31))/* 0x0000000080000000 */
184 #define RISCV_DIRECTMAP_MASK ((vaddr_t) 0xffffffe000000000L)
188 #define RISCV_DIRECTMAP_P(va) (((vaddr_t) (va) & RISCV_DIRECTMAP_MASK) == RISCV_DIRECTMAP_MASK)
189 #define RISCV_PA_TO_KVA(pa) ((vaddr_t) ((pa) | RISCV_DIRECTMAP_START))
201 round_page((vaddr_t)(da) + (vsize_t)maxdmap)
206 round_page((vaddr_t)(da) + (vsize_t)MAXDSIZ32)