Searched refs:n_kernel_space_is_user (Results 1 – 2 of 2) sorted by relevance
54 size_t n_kernel_space_is_user; member168 ATF_REQUIRE_EQ(x86_pte_results.n_kernel_space_is_user, 0); in ATF_TC_BODY()
64 size_t n_kernel_space_is_user; member321 tester_ctx.results.n_kernel_space_is_user += 1; in check_kernel_space()