USER_SPACE_BITS
tcr |= TCR_T0SZ(64 - USER_SPACE_BITS);
tcr |= TCR_T0SZ(64 - USER_SPACE_BITS);
return (-1ULL << USER_SPACE_BITS);
tcr |= TCR_T0SZ(64 - USER_SPACE_BITS);
#define VM_MAXUSER_ADDRESS ((1ULL << USER_SPACE_BITS) - 0x8000)
#define VM_MIN_STACK_ADDRESS (3ULL << (USER_SPACE_BITS - 2))