Searched refs:user_kernel_ok (Results 1 – 1 of 1) sorted by relevance
1235 int i, user_kernel_ok = 0; in validate_va() local1246 user_kernel_ok = 1; in validate_va()1251 if (!user_kernel_ok) in validate_va()