taglinefilesource code
ASI_FLUSHCTX40include/asm-sparc/asi.h#define ASI_FLUSHCTX     0xe
ASI_FLUSHCTX23include/asm-sparc/asi4m.h#define ASI_FLUSHCTX    0x13