VA_ADDRESS_SPACE_BITS
if (va_bits < VA_ADDRESS_SPACE_BITS) {
uint64_t value = VA_ADDRESS_SPACE_BITS;
if (value == 0 || value > VA_ADDRESS_SPACE_BITS)