Lines Matching defs:wcpu

1725 	struct witness_cpu *wcpu = &witness_cpu[cpu_number()];
1732 	if (wcpu->wc_lle_count > 0) {
1733 		lle = wcpu->wc_lle_cache;
1734 		wcpu->wc_lle_cache = lle->ll_next;
1735 		wcpu->wc_lle_count--;
1757 	struct witness_cpu *wcpu = &witness_cpu[cpu_number()];
1761 	if (wcpu->wc_lle_count < WITNESS_LLE_CACHE_MAX) {
1762 		lle->ll_next = wcpu->wc_lle_cache;
1763 		wcpu->wc_lle_cache = lle;
1764 		wcpu->wc_lle_count++;
1778 	struct witness_cpu *wcpu = &witness_cpu[cpu_number()];
1782 	if (wcpu->wc_stk_count > 0) {
1783 		stack = wcpu->wc_stk_cache;
1784 		wcpu->wc_stk_cache = stack->ls_next;
1785 		wcpu->wc_stk_count--;
1801 	struct witness_cpu *wcpu = &witness_cpu[cpu_number()];
1805 	if (wcpu->wc_stk_count < WITNESS_STK_CACHE_MAX) {
1806 		stack->ls_next = wcpu->wc_stk_cache;
1807 		wcpu->wc_stk_cache = stack;
1808 		wcpu->wc_stk_count++;