Lines Matching defs:x86_pte_results
56 } x86_pte_results;
62 size_t len = sizeof(x86_pte_results);
76 rv = sysctlbyname(mib_name, &x86_pte_results, &len, 0, 0);
96 ATF_REQUIRE_EQ(x86_pte_results.n_rwx, 0);
111 x86_pte_results.n_shstk);
112 ATF_REQUIRE_EQ(x86_pte_results.n_shstk, 0);
126 ATF_REQUIRE_EQ(x86_pte_results.kernel_map_with_low_ptes, false);
140 ATF_REQUIRE_EQ(x86_pte_results.pte_is_user_accessible, false);
154 ATF_REQUIRE_EQ(x86_pte_results.n_user_space_is_kernel, 0);
168 ATF_REQUIRE_EQ(x86_pte_results.n_kernel_space_is_user, 0);
182 if (x86_pte_results.n_svs_g_bit_set != (size_t)-1) {
183 ATF_REQUIRE_EQ(x86_pte_results.n_svs_g_bit_set, 0);