109 int avail_to_resrv_perfctr_nmi_bit(unsigned int counter)  in avail_to_resrv_perfctr_nmi_bit()  argument
111 	BUG_ON(counter > NMI_MAX_COUNTER_BITS);  in avail_to_resrv_perfctr_nmi_bit()
113 	return !test_bit(counter, perfctr_nmi_owner);  in avail_to_resrv_perfctr_nmi_bit()
119 	unsigned int counter;  in reserve_perfctr_nmi()  local
121 	counter = nmi_perfctr_msr_to_bit(msr);  in reserve_perfctr_nmi()
123 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_perfctr_nmi()
126 	if (!test_and_set_bit(counter, perfctr_nmi_owner))  in reserve_perfctr_nmi()
134 	unsigned int counter;  in release_perfctr_nmi()  local
136 	counter = nmi_perfctr_msr_to_bit(msr);  in release_perfctr_nmi()
138 	if (counter > NMI_MAX_COUNTER_BITS)  in release_perfctr_nmi()
141 	clear_bit(counter, perfctr_nmi_owner);  in release_perfctr_nmi()
147 	unsigned int counter;  in reserve_evntsel_nmi()  local
149 	counter = nmi_evntsel_msr_to_bit(msr);  in reserve_evntsel_nmi()
151 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_evntsel_nmi()
154 	if (!test_and_set_bit(counter, evntsel_nmi_owner))  in reserve_evntsel_nmi()
162 	unsigned int counter;  in release_evntsel_nmi()  local
164 	counter = nmi_evntsel_msr_to_bit(msr);  in release_evntsel_nmi()
166 	if (counter > NMI_MAX_COUNTER_BITS)  in release_evntsel_nmi()
169 	clear_bit(counter, evntsel_nmi_owner);  in release_evntsel_nmi()