Searched refs:vcpu_on_replq (Results 1 – 1 of 1) sorted by relevance
289 vcpu_on_replq(const struct rt_vcpu *svc) in vcpu_on_replq() function544 ASSERT( vcpu_on_replq(svc) ); in replq_remove()577 ASSERT( vcpu_on_replq(svc) ); in runq_insert()593 ASSERT( !vcpu_on_replq(svc) ); in replq_insert()616 ASSERT( vcpu_on_replq(svc) ); in replq_reinsert()974 if ( vcpu_on_replq(svc) ) in rt_vcpu_remove()
Completed in 4 milliseconds