Searched refs:user_kernel_ok (Results 1 – 1 of 1) sorted by relevance
1050 int i, user_kernel_ok = 0; in validate_va() local1061 user_kernel_ok = 1; in validate_va()1066 if (!user_kernel_ok) in validate_va()