adev_virt_addr    150 arch/x86/kernel/apb_timer.c 		adev_virt_addr(adev), 0, apbt_freq);
adev_virt_addr    188 arch/x86/kernel/apb_timer.c 			APBT_CLOCKEVENT_RATING, adev_virt_addr(adev),