ASI_SRMMUFP_L3
sta(((vaddr_t)(va) & 0xfffff000) | ASI_SRMMUFP_L3, ASI_SRMMUFP, 0)
#define getpte4m(va) lda((va & 0xFFFFF000) | ASI_SRMMUFP_L3, \
sta(va | ASI_SRMMUFP_L3, ASI_SRMMUFP, 0);
sta(va | ASI_SRMMUFP_L3, ASI_SRMMUFP, 0);
sp_tlb_flush(va, ctx, ASI_SRMMUFP_L3);
FXCALL3(sp_tlb_flush, ft_tlb_flush, va, ctx, ASI_SRMMUFP_L3, cpuset);
sp_tlb_flush((int)va, 0, ASI_SRMMUFP_L3);
sp_tlb_flush((int)va, 0, ASI_SRMMUFP_L3);
sp_tlb_flush((int)sva, 0, ASI_SRMMUFP_L3);
sp_tlb_flush((int)dva, 0, ASI_SRMMUFP_L3);
sp_tlb_flush((int)sva, 0, ASI_SRMMUFP_L3);
sp_tlb_flush((int)dva, 0, ASI_SRMMUFP_L3);
#define tlb_flush_page(va,ctx,s) sp_tlb_flush(va,ctx,ASI_SRMMUFP_L3)
pte = lda(((u_int)addr & ~0xfff) | ASI_SRMMUFP_L3, ASI_SRMMUFP);