98 int avail_to_resrv_perfctr_nmi_bit(unsigned int counter)  in avail_to_resrv_perfctr_nmi_bit()  argument
100 	BUG_ON(counter > NMI_MAX_COUNTER_BITS);  in avail_to_resrv_perfctr_nmi_bit()
102 	return !test_bit(counter, perfctr_nmi_owner);  in avail_to_resrv_perfctr_nmi_bit()
108 	unsigned int counter;  in reserve_perfctr_nmi()  local
110 	counter = nmi_perfctr_msr_to_bit(msr);  in reserve_perfctr_nmi()
112 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_perfctr_nmi()
115 	if (!test_and_set_bit(counter, perfctr_nmi_owner))  in reserve_perfctr_nmi()
123 	unsigned int counter;  in release_perfctr_nmi()  local
125 	counter = nmi_perfctr_msr_to_bit(msr);  in release_perfctr_nmi()
127 	if (counter > NMI_MAX_COUNTER_BITS)  in release_perfctr_nmi()
130 	clear_bit(counter, perfctr_nmi_owner);  in release_perfctr_nmi()
136 	unsigned int counter;  in reserve_evntsel_nmi()  local
138 	counter = nmi_evntsel_msr_to_bit(msr);  in reserve_evntsel_nmi()
140 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_evntsel_nmi()
143 	if (!test_and_set_bit(counter, evntsel_nmi_owner))  in reserve_evntsel_nmi()
151 	unsigned int counter;  in release_evntsel_nmi()  local
153 	counter = nmi_evntsel_msr_to_bit(msr);  in release_evntsel_nmi()
155 	if (counter > NMI_MAX_COUNTER_BITS)  in release_evntsel_nmi()
158 	clear_bit(counter, evntsel_nmi_owner);  in release_evntsel_nmi()