user_va0_disable
extern int user_va0_disable;
if (user_va0_disable && (va_min < VM_MIN_GUARD))
if (user_va0_disable && addr == 0) {
extern int user_va0_disable;
int user_va0_disable = __USER_VA0_DISABLE_DEFAULT;
t = user_va0_disable;
if (!t && user_va0_disable &&
user_va0_disable = !!t;
sysctl_user_va0_disable, 0, &user_va0_disable, 0,
user_va0_disable(operation); \
static int user_va0_disable = -1;
size_t user_va0_disable_len = sizeof(user_va0_disable);
if (user_va0_disable == -1) {
&user_va0_disable, &user_va0_disable_len, NULL, 0)
if (user_va0_disable > 0)