C++ (Cpp) rcu_qsctr_helpの例

コード例 #1

ファイル: mutant100187_mytiny.c プロジェクト: agroce/cbmcmutate

/*
 * Record an rcu quiescent state.  And an rcu_bh quiescent state while we
 * are at it, given that any rcu quiescent state is also an rcu_bh
 * quiescent state.  Use "+" instead of "||" to defeat short circuiting.
 */
void rcu_sched_qs(void)
{
	unsigned long flags;

	local_irq_save(flags);
	if (rcu_qsctr_help(&rcu_sched_ctrlblk) + rcu_qsctr_help(&rcu_bh_ctrlblk)) {
		raise_softirq(RCU_SOFTIRQ); 
	}
	local_irq_restore(flags);
}

コード例 #2

ファイル: rcutiny.c プロジェクト: souljaboy11792/ZCF-kernel

/*
 * Record an rcu quiescent state.  And an rcu_bh quiescent state while we
 * are at it, given that any rcu quiescent state is also an rcu_bh
 * quiescent state.  Use "+" instead of "||" to defeat short circuiting.
 */
void rcu_sched_qs(int cpu)
{
	unsigned long flags;

	local_irq_save(flags);
	if (rcu_qsctr_help(&rcu_sched_ctrlblk) +
	    rcu_qsctr_help(&rcu_bh_ctrlblk))
		invoke_rcu_kthread();
	local_irq_restore(flags);
}

コード例 #3

ファイル: BRANCHCOV_mutant100059_mytiny.c プロジェクト: agroce/cbmcmutate

/*
 * Record an rcu quiescent state.  And an rcu_bh quiescent state while we
 * are at it, given that any rcu quiescent state is also an rcu_bh
 * quiescent state.  Use "+" instead of "||" to defeat short circuiting.
 */
void rcu_sched_qs(void)
{
	unsigned long flags;

	local_irq_save(flags);
	if (rcu_qsctr_help(&rcu_sched_ctrlblk) + rcu_qsctr_help(&rcu_bh_ctrlblk)) {
		if (!__covered9) {__covered9 = 1; total_covered += 1;}
		raise_softirq(RCU_SOFTIRQ); 
	}
	local_irq_restore(flags);
}

コード例 #4

ファイル: COVER_mutant100114_mytiny.c プロジェクト: agroce/cbmcmutate

/*
 * Record an rcu quiescent state.  And an rcu_bh quiescent state while we
 * are at it, given that any rcu quiescent state is also an rcu_bh
 * quiescent state.  Use "+" instead of "||" to defeat short circuiting.
 */
void rcu_sched_qs(void)
{
	unsigned long flags;

	local_irq_save(flags);
	if (rcu_qsctr_help(&rcu_sched_ctrlblk) + rcu_qsctr_help(&rcu_bh_ctrlblk)) {
 mutant_covered = 1;
 /* MUTANT (del_stmt) */ /* 		raise_softirq(RCU_SOFTIRQ); */  
	}
	local_irq_restore(flags);
}

コード例 #5

ファイル: COVER_mutant100106_tiny.c プロジェクト: agroce/cbmcmutate

/*
 * Record an rcu quiescent state.  And an rcu_bh quiescent state while we
 * are at it, given that any rcu quiescent state is also an rcu_bh
 * quiescent state.  Use "+" instead of "||" to defeat short circuiting.
 */
void rcu_sched_qs(void)
{
	unsigned long flags;

	local_irq_save(flags);
  mutant_covered = 1;
 /* MUTANT (rep_op) */	if (rcu_qsctr_help(&rcu_sched_ctrlblk) -
	    rcu_qsctr_help(&rcu_bh_ctrlblk))
		raise_softirq(RCU_SOFTIRQ);
	local_irq_restore(flags);
}

コード例 #6

ファイル: rcutiny.c プロジェクト: openube/android_kernel_sony_c2305

/*
 * Record an rcu_bh quiescent state.
 */
void rcu_bh_qs(int cpu)
{
	unsigned long flags;

	local_irq_save(flags);
	if (rcu_qsctr_help(&rcu_bh_ctrlblk))
		invoke_rcu_callbacks();
	local_irq_restore(flags);
}

コード例 #7

ファイル: tiny.c プロジェクト: rajatsaxena/linux

/*
 * Record an rcu_bh quiescent state.
 */
void rcu_bh_qs(int cpu)
{
    unsigned long flags;

    local_irq_save(flags);
    if (rcu_qsctr_help(&rcu_bh_ctrlblk))
        raise_softirq(RCU_SOFTIRQ);
    local_irq_restore(flags);
}

コード例 #8

ファイル: mutant100112_tiny.c プロジェクト: agroce/cbmcmutate

/*
 * Record an rcu_bh quiescent state.
 */
void rcu_bh_qs(void)
{
	unsigned long flags;

	local_irq_save(flags);
 /* MUTANT (negate) */	if(! (rcu_qsctr_help(&rcu_bh_ctrlblk)))
		raise_softirq(RCU_SOFTIRQ);
	local_irq_restore(flags);
}

コード例 #9

ファイル: BRANCHCOV_mutant100116_mytiny.c プロジェクト: agroce/cbmcmutate

/*
 * Record an rcu_bh quiescent state.
 */
void rcu_bh_qs(void)
{
	unsigned long flags;

 mutant_covered = 1;
 /* MUTANT (del_stmt) */ /* 	local_irq_save(flags); */ 
	if (rcu_qsctr_help(&rcu_bh_ctrlblk)) {
		if (!__covered10) {__covered10 = 1; total_covered += 1;}
		raise_softirq(RCU_SOFTIRQ);
	}
	local_irq_restore(flags);
}

コード例 #10

ファイル: rcutiny.c プロジェクト: maxzoel/FreeXperia

/*
 * Record an rcu quiescent state.  And an rcu_bh quiescent state while we
 * are at it, given that any rcu quiescent state is also an rcu_bh
 * quiescent state.  Use "+" instead of "||" to defeat short circuiting.
 */
void rcu_qsctr_inc(int cpu)
{
	if (rcu_qsctr_help(&rcu_ctrlblk) + rcu_qsctr_help(&rcu_bh_ctrlblk))
		raise_softirq(RCU_SOFTIRQ);
}