41 	int errcode;  in from_user_null()  local
45 	errcode = pt_asid_from_user(NULL, NULL);  in from_user_null()
46 	ptu_int_eq(errcode, -pte_internal);  in from_user_null()
48 	errcode = pt_asid_from_user(NULL, &user);  in from_user_null()
49 	ptu_int_eq(errcode, -pte_internal);  in from_user_null()
57 	int errcode;  in from_user_default()  local
59 	errcode = pt_asid_from_user(&asid, NULL);  in from_user_default()
60 	ptu_int_eq(errcode, 0);  in from_user_default()
71 	int errcode;  in from_user_small()  local
75 	errcode = pt_asid_from_user(&asid, &user);  in from_user_small()
76 	ptu_int_eq(errcode, 0);  in from_user_small()
87 	int errcode;  in from_user_big()  local
93 	errcode = pt_asid_from_user(&asid, &user);  in from_user_big()
94 	ptu_int_eq(errcode, 0);  in from_user_big()
105 	int errcode;  in from_user()  local
111 	errcode = pt_asid_from_user(&asid, &user);  in from_user()
112 	ptu_int_eq(errcode, 0);  in from_user()
123 	int errcode;  in from_user_cr3()  local
129 	errcode = pt_asid_from_user(&asid, &user);  in from_user_cr3()
130 	ptu_int_eq(errcode, 0);  in from_user_cr3()
141 	int errcode;  in to_user_null()  local
145 	errcode = pt_asid_to_user(NULL, NULL, sizeof(asid));  in to_user_null()
146 	ptu_int_eq(errcode, -pte_internal);  in to_user_null()
148 	errcode = pt_asid_to_user(NULL, &asid, sizeof(asid));  in to_user_null()
149 	ptu_int_eq(errcode, -pte_internal);  in to_user_null()
157 	int errcode;  in to_user_too_small()  local
161 	errcode = pt_asid_to_user(&user, &asid, 0);  in to_user_too_small()
162 	ptu_int_eq(errcode, -pte_invalid);  in to_user_too_small()
164 	errcode = pt_asid_to_user(&user, &asid, sizeof(user.size) - 1);  in to_user_too_small()
165 	ptu_int_eq(errcode, -pte_invalid);  in to_user_too_small()
173 	int errcode;  in to_user_small()  local
178 	errcode = pt_asid_to_user(&user, &asid, sizeof(user.size));  in to_user_small()
179 	ptu_int_eq(errcode, 0);  in to_user_small()
190 	int errcode;  in to_user_big()  local
197 	errcode = pt_asid_to_user(&user, &asid, sizeof(user) + 8);  in to_user_big()
198 	ptu_int_eq(errcode, 0);  in to_user_big()
209 	int errcode;  in to_user()  local
216 	errcode = pt_asid_to_user(&user, &asid, sizeof(user));  in to_user()
217 	ptu_int_eq(errcode, 0);  in to_user()
228 	int errcode;  in to_user_cr3()  local
234 	errcode = pt_asid_to_user(&user, &asid, offsetof(struct pt_asid, vmcs));  in to_user_cr3()
235 	ptu_int_eq(errcode, 0);  in to_user_cr3()
246 	int errcode;  in match_null()  local
250 	errcode = pt_asid_match(NULL, NULL);  in match_null()
251 	ptu_int_eq(errcode, -pte_internal);  in match_null()
253 	errcode = pt_asid_match(NULL, &asid);  in match_null()
254 	ptu_int_eq(errcode, -pte_internal);  in match_null()
256 	errcode = pt_asid_match(&asid, NULL);  in match_null()
257 	ptu_int_eq(errcode, -pte_internal);  in match_null()
265 	int errcode;  in match_default()  local
270 	errcode = pt_asid_match(&lhs, &rhs);  in match_default()
271 	ptu_int_eq(errcode, 1);  in match_default()
276 	errcode = pt_asid_match(&lhs, &rhs);  in match_default()
277 	ptu_int_eq(errcode, 1);  in match_default()
279 	errcode = pt_asid_match(&rhs, &lhs);  in match_default()
280 	ptu_int_eq(errcode, 1);  in match_default()
288 	int errcode;  in match_default_mixed()  local
293 	errcode = pt_asid_match(&lhs, &rhs);  in match_default_mixed()
294 	ptu_int_eq(errcode, 1);  in match_default_mixed()
299 	errcode = pt_asid_match(&lhs, &rhs);  in match_default_mixed()
300 	ptu_int_eq(errcode, 1);  in match_default_mixed()
302 	errcode = pt_asid_match(&rhs, &lhs);  in match_default_mixed()
303 	ptu_int_eq(errcode, 1);  in match_default_mixed()
311 	int errcode;  in match_cr3()  local
319 	errcode = pt_asid_match(&lhs, &rhs);  in match_cr3()
320 	ptu_int_eq(errcode, 1);  in match_cr3()
328 	int errcode;  in match_vmcs()  local
336 	errcode = pt_asid_match(&lhs, &rhs);  in match_vmcs()
337 	ptu_int_eq(errcode, 1);  in match_vmcs()
345 	int errcode;  in match()  local
355 	errcode = pt_asid_match(&lhs, &rhs);  in match()
356 	ptu_int_eq(errcode, 1);  in match()
364 	int errcode;  in match_cr3_false()  local
372 	errcode = pt_asid_match(&lhs, &rhs);  in match_cr3_false()
373 	ptu_int_eq(errcode, 0);  in match_cr3_false()
381 	int errcode;  in match_vmcs_false()  local
389 	errcode = pt_asid_match(&lhs, &rhs);  in match_vmcs_false()
390 	ptu_int_eq(errcode, 0);  in match_vmcs_false()