Home | History | Annotate | Download | only in x86

Lines Matching refs:KASSERT

101 	KASSERT(ci == arg);
132 	KASSERT(vcpu < XEN_LEGACY_MAX_VCPUS);
137 	KASSERT(evtchn != -1 && evtchn < NR_EVENT_CHANNELS);
172 	KASSERT(ci != NULL && ci != curcpu());
227 	KASSERT(ci == curcpu());
228 	KASSERT(ci != NULL);
238 	KASSERT(ci != NULL);
239 	KASSERT(intrf != NULL);
248 	KASSERT(ci != NULL);
249 	KASSERT(intrf != NULL);
281 	KASSERT(ci != NULL);
282 	KASSERT(intrf != NULL);
290 	KASSERT(ci != NULL);
291 	KASSERT(intrf != NULL);
299 	KASSERT(ci != NULL);
300 	KASSERT(intrf != NULL);
307 	KASSERT(ci != NULL);
308 	KASSERT(intrf != NULL);
309 	KASSERT(ci == curcpu());
310 	KASSERT(!ci->ci_vcpu->evtchn_upcall_mask);
326 	KASSERT(kpreempt_disabled());
327 	KASSERT(curcpu() != ci);
340 	KASSERT(kpreempt_disabled());
341 	KASSERT(curcpu() != ci);