A1K2CP_BASE
A1K2CP_BASE, (void*) a1k2cp_bst.base);
a1k2cp_bst.base = (bus_addr_t) __UNVOLATILE(ztwomap(A1K2CP_BASE));