Searched refs:VM_MAX_KERNEL_ADDRESS (Results 1 - 6 of 6) sorted by relevance

/barrelfish-2018-10-04/include/arch/aarch64/machine/
H A Dvmparam.h152 * VM_MIN_KERNEL_ADDRESS and VM_MAX_KERNEL_ADDRESS define the start and end of
163 #define VM_MAX_KERNEL_ADDRESS (0xffff008000000000UL) macro
224 #define VM_KMEM_SIZE_MAX ((VM_MAX_KERNEL_ADDRESS - \
250 #define DEVMAP_MAX_VADDR VM_MAX_KERNEL_ADDRESS
/barrelfish-2018-10-04/include/arch/x86_64/machine/
H A Dvmparam.h166 #define VM_MAX_KERNEL_ADDRESS KVADDR(KPML4BASE + NKPML4E - 1, \ macro
216 #define VM_KMEM_SIZE_MAX ((VM_MAX_KERNEL_ADDRESS - \
H A Dparam.h153 || ((va) >= VM_MIN_KERNEL_ADDRESS && (va) < VM_MAX_KERNEL_ADDRESS))
/barrelfish-2018-10-04/include/arch/arm/machine/
H A Dvmparam.h139 #define VM_MAX_KERNEL_ADDRESS (vm_max_kernel_address) macro
/barrelfish-2018-10-04/include/vm/
H A Dvm_kern.c107 SYSCTL_NULL_ULONG_PTR, VM_MAX_KERNEL_ADDRESS,
H A Dvm_object.c282 _vm_object_allocate(OBJT_PHYS, OFF_TO_IDX(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS),
290 _vm_object_allocate(OBJT_PHYS, OFF_TO_IDX(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS),

Completed in 87 milliseconds