linux-stable-rt/arch/avr32/oprofile
..
Makefile
op_model_avr32.c