VM_MAX_ADDRESS
(addr < VM_MAX_ADDRESS) &&
VM_MAX_ADDRESS, PAGE_SIZE, 0, VM_MEMATTR_UNCACHEABLE);
VM_MAX_ADDRESS, PAGE_SIZE, 0) == 0)) {
if (platform_real_maxaddr() != VM_MAX_ADDRESS) {
static vm_offset_t realmaxaddr = VM_MAX_ADDRESS;