99 int avail_to_resrv_perfctr_nmi_bit(unsigned int counter)  in avail_to_resrv_perfctr_nmi_bit()  argument
101 	BUG_ON(counter > NMI_MAX_COUNTER_BITS);  in avail_to_resrv_perfctr_nmi_bit()
103 	return !test_bit(counter, perfctr_nmi_owner);  in avail_to_resrv_perfctr_nmi_bit()
109 	unsigned int counter;  in reserve_perfctr_nmi()  local
111 	counter = nmi_perfctr_msr_to_bit(msr);  in reserve_perfctr_nmi()
113 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_perfctr_nmi()
116 	if (!test_and_set_bit(counter, perfctr_nmi_owner))  in reserve_perfctr_nmi()
124 	unsigned int counter;  in release_perfctr_nmi()  local
126 	counter = nmi_perfctr_msr_to_bit(msr);  in release_perfctr_nmi()
128 	if (counter > NMI_MAX_COUNTER_BITS)  in release_perfctr_nmi()
131 	clear_bit(counter, perfctr_nmi_owner);  in release_perfctr_nmi()
137 	unsigned int counter;  in reserve_evntsel_nmi()  local
139 	counter = nmi_evntsel_msr_to_bit(msr);  in reserve_evntsel_nmi()
141 	if (counter > NMI_MAX_COUNTER_BITS)  in reserve_evntsel_nmi()
144 	if (!test_and_set_bit(counter, evntsel_nmi_owner))  in reserve_evntsel_nmi()
152 	unsigned int counter;  in release_evntsel_nmi()  local
154 	counter = nmi_evntsel_msr_to_bit(msr);  in release_evntsel_nmi()
156 	if (counter > NMI_MAX_COUNTER_BITS)  in release_evntsel_nmi()
159 	clear_bit(counter, evntsel_nmi_owner);  in release_evntsel_nmi()