ASI_SCRATCHPAD
stxa(0x00, ASI_SCRATCHPAD, ldxa(pa, ASI_PHYS_CACHED));
stxa(0x10, ASI_SCRATCHPAD, intstack + (CPUINFO_VA - INTSTACK));