// automatically generated by stateify. // +build arm64 package pagetables