ASI_ICBUS_CONFIG 122 boot/arch/sparc64/src/ofw.c [asi] "i" (ASI_ICBUS_CONFIG) ASI_ICBUS_CONFIG 80 kernel/arch/sparc64/include/arch/sun4u/cpu.h uint64_t icbus_config = asi_u64_read(ASI_ICBUS_CONFIG, 0);