110 	unsigned int counter;  in reserve_perfctr_nmi()  local
112 	counter = nmi_perfctr_msr_to_bit(msr);  in reserve_perfctr_nmi()
114 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_perfctr_nmi()
117 	if (!test_and_set_bit(counter, perfctr_nmi_owner))  in reserve_perfctr_nmi()
125 	unsigned int counter;  in release_perfctr_nmi()  local
127 	counter = nmi_perfctr_msr_to_bit(msr);  in release_perfctr_nmi()
129 	if (counter > NMI_MAX_COUNTER_BITS)  in release_perfctr_nmi()
132 	clear_bit(counter, perfctr_nmi_owner);  in release_perfctr_nmi()
138 	unsigned int counter;  in reserve_evntsel_nmi()  local
140 	counter = nmi_evntsel_msr_to_bit(msr);  in reserve_evntsel_nmi()
142 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_evntsel_nmi()
145 	if (!test_and_set_bit(counter, evntsel_nmi_owner))  in reserve_evntsel_nmi()
153 	unsigned int counter;  in release_evntsel_nmi()  local
155 	counter = nmi_evntsel_msr_to_bit(msr);  in release_evntsel_nmi()
157 	if (counter > NMI_MAX_COUNTER_BITS)  in release_evntsel_nmi()
160 	clear_bit(counter, evntsel_nmi_owner);  in release_evntsel_nmi()