kernel-fxtec-pro1x/arch/avr32/oprofile
..
Makefile
op_model_avr32.c