101 int avail_to_resrv_perfctr_nmi_bit(unsigned int counter)  in avail_to_resrv_perfctr_nmi_bit()  argument
103 	BUG_ON(counter > NMI_MAX_COUNTER_BITS);  in avail_to_resrv_perfctr_nmi_bit()
105 	return !test_bit(counter, perfctr_nmi_owner);  in avail_to_resrv_perfctr_nmi_bit()
111 	unsigned int counter;  in reserve_perfctr_nmi()  local
113 	counter = nmi_perfctr_msr_to_bit(msr);  in reserve_perfctr_nmi()
115 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_perfctr_nmi()
118 	if (!test_and_set_bit(counter, perfctr_nmi_owner))  in reserve_perfctr_nmi()
126 	unsigned int counter;  in release_perfctr_nmi()  local
128 	counter = nmi_perfctr_msr_to_bit(msr);  in release_perfctr_nmi()
130 	if (counter > NMI_MAX_COUNTER_BITS)  in release_perfctr_nmi()
133 	clear_bit(counter, perfctr_nmi_owner);  in release_perfctr_nmi()
139 	unsigned int counter;  in reserve_evntsel_nmi()  local
141 	counter = nmi_evntsel_msr_to_bit(msr);  in reserve_evntsel_nmi()
143 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_evntsel_nmi()
146 	if (!test_and_set_bit(counter, evntsel_nmi_owner))  in reserve_evntsel_nmi()
154 	unsigned int counter;  in release_evntsel_nmi()  local
156 	counter = nmi_evntsel_msr_to_bit(msr);  in release_evntsel_nmi()
158 	if (counter > NMI_MAX_COUNTER_BITS)  in release_evntsel_nmi()
161 	clear_bit(counter, evntsel_nmi_owner);  in release_evntsel_nmi()