arch/riscv/lib/sbi_ipi.c

   1 // SPDX-License-Identifier: GPL-2.0+
   2 /*
   3  * Copyright (C) 2019 Fraunhofer AISEC,
   4  * Lukas Auer <lukas.auer@aisec.fraunhofer.de>
   5  */
   6
   7 #include <common.h>
   8 #include <asm/sbi.h>
   9
  10 int riscv_send_ipi(int hart)
  11 {
  12         ulong mask;
  13
  14         mask = 1UL << hart;
  15         sbi_send_ipi(&mask);
  16
  17         return 0;
  18 }
  19
  20 int riscv_clear_ipi(int hart)
  21 {
  22         sbi_clear_ipi();
  23
  24         return 0;
  25 }