avr32: Use a quicklist for PTE allocation as well
This page took 0.235619 seconds and 4 git commands to generate.