aarch64_addressspace
switch (aarch64_addressspace((vaddr_t)address)) {
switch (aarch64_addressspace(va)) {
space = aarch64_addressspace(addr);
switch (aarch64_addressspace(addr)) {
int space = aarch64_addressspace(va); \
space = aarch64_addressspace(va);
switch (aarch64_addressspace(va)) {
aarch64_addressspace(va), va);
switch (aarch64_addressspace(sva)) {