asi_t 479 kernel/arch/sparc64/include/arch/asm.h _NO_TRACE static inline uint64_t asi_u64_read(asi_t asi, uintptr_t va) asi_t 500 kernel/arch/sparc64/include/arch/asm.h _NO_TRACE static inline void asi_u64_write(asi_t asi, uintptr_t va, uint64_t v)HelenOS homepage, sources at GitHub