sbi.h    8 arch/riscv/kernel/reset.c #include <asm/sbi.h>
sbi.h   19 arch/riscv/kernel/smp.c #include <asm/sbi.h>
sbi.h   31 arch/riscv/kernel/smpboot.c #include <asm/sbi.h>
sbi.h    9 arch/riscv/kernel/time.c #include <asm/sbi.h>
sbi.h   11 arch/riscv/mm/cacheflush.c #include <asm/sbi.h>
sbi.h    5 arch/riscv/mm/tlbflush.c #include <asm/sbi.h>
sbi.h   17 arch/sparc/kernel/sun4d_irq.c #include <asm/sbi.h>
sbi.h   22 arch/sparc/kernel/sun4d_smp.c #include <asm/sbi.h>
sbi.h   17 drivers/clocksource/timer-riscv.c #include <asm/sbi.h>
sbi.h   14 drivers/tty/hvc/hvc_riscv_sbi.c #include <asm/sbi.h>
sbi.h   11 drivers/tty/serial/earlycon-riscv-sbi.c #include <asm/sbi.h>