VM_MAX_USER_ADDRESS_SV48
VM_MAX_USER_ADDRESS_SV48) || (va) >= VM_MIN_KERNEL_ADDRESS)
#define VM_MAX_USER_ADDRESS VM_MAX_USER_ADDRESS_SV48
#define SHAREDPAGE_SV48 (VM_MAX_USER_ADDRESS_SV48 - PAGE_SIZE)
sv->sv_maxuser = VM_MAX_USER_ADDRESS_SV48;