__USER_VA0_DISABLE_DEFAULT
#ifndef __USER_VA0_DISABLE_DEFAULT
int user_va0_disable = __USER_VA0_DISABLE_DEFAULT;