OSDN Git Service

avr32: drop _PAGE_FILE and pte_file()-related helpers