Ejemplos de reset_cpu_stall_ticks en C++ (Cpp)

Ejemplo n.º 1

Archivo: tiny.c Proyecto: acton393/linux

void __init rcu_init(void)
{
	open_softirq(RCU_SOFTIRQ, rcu_process_callbacks);
	RCU_TRACE(reset_cpu_stall_ticks(&rcu_sched_ctrlblk));
	RCU_TRACE(reset_cpu_stall_ticks(&rcu_bh_ctrlblk));

	rcu_early_boot_tests();
}

Ejemplo n.º 2

Archivo: COVER_mutant100145_mytiny.c Proyecto: agroce/cbmcmutate

/*
 * Helper function for rcu_sched_qs() and rcu_bh_qs().
 * Also irqs are disabled to avoid confusion due to interrupt handlers
 * invoking call_rcu().
 */
static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
{
	RCU_TRACE(reset_cpu_stall_ticks(rcp));
	if (rcp->rcucblist != NULL && rcp->donetail != rcp->curtail) {
		rcp->donetail = rcp->curtail;
		return 1;
	}

	return 0;
}

Ejemplo n.º 3

Archivo: COVER_mutant100099_mytiny.c Proyecto: agroce/cbmcmutate

/*
 * Helper function for rcu_sched_qs() and rcu_bh_qs().
 * Also irqs are disabled to avoid confusion due to interrupt handlers
 * invoking call_rcu().
 */
static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
{
	RCU_TRACE(reset_cpu_stall_ticks(rcp));
 mutant_covered = 1;
 /* MUTANT (rep_op) */	if (rcp->rcucblist != NULL && rcp->donetail == rcp->curtail) {
		rcp->donetail = rcp->curtail;
		return 1;
	}

	return 0;
}

Ejemplo n.º 4

Archivo: mutant100101_tiny.c Proyecto: agroce/cbmcmutate

/*
 * Helper function for rcu_sched_qs() and rcu_bh_qs().
 * Also irqs are disabled to avoid confusion due to interrupt handlers
 * invoking call_rcu().
 */
static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
{
	RCU_TRACE(reset_cpu_stall_ticks(rcp));
	if (rcp->rcucblist != NULL &&
	    rcp->donetail != rcp->curtail) {
		rcp->donetail = rcp->curtail;
 /* MUTANT (rep_const) */		return ((1)+1);
	}

	return 0;
}

Ejemplo n.º 5

Archivo: BRANCHCOV_mutant100105_mytiny.c Proyecto: agroce/cbmcmutate

/*
 * Helper function for rcu_sched_qs() and rcu_bh_qs().
 * Also irqs are disabled to avoid confusion due to interrupt handlers
 * invoking call_rcu().
 */
static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
{
	RCU_TRACE(reset_cpu_stall_ticks(rcp));
	if (rcp->rcucblist != NULL && rcp->donetail != rcp->curtail) {
		if (!__covered8) {__covered8 = 1; total_covered += 1;}
		rcp->donetail = rcp->curtail;
 mutant_covered = 1;
 /* MUTANT (rep_const) */		return ((1)+1);
	}

	return 0;
}