Some ARM64 pmap stubs.