PANTHOR_VM_MIN_KERNEL_VA_SIZE
if (full_va_range < PANTHOR_VM_MIN_KERNEL_VA_SIZE)
full_va_range - PANTHOR_VM_MIN_KERNEL_VA_SIZE;
if (full_va_range - PANTHOR_VM_MIN_KERNEL_VA_SIZE < user_va_range)
user_va_range = full_va_range - PANTHOR_VM_MIN_KERNEL_VA_SIZE;