sys/mips/beri/beri_mp.h

   1 /*-
   2  * Copyright (c) 2014 SRI International
   3  * All rights reserved.
   4  *
   5  * This software was developed by SRI International and the University of
   6  * Cambridge Computer Laboratory under DARPA/AFRL contract (FA8750-11-C-0249)
   7  * ("MRC2"), as part of the DARPA MRC research programme.
   8  *
   9  * Redistribution and use in source and binary forms, with or without
  10  * modification, are permitted provided that the following conditions
  11  * are met:
  12  * 1. Redistributions of source code must retain the above copyright
  13  *    notice, this list of conditions and the following disclaimer.
  14  * 2. Redistributions in binary form must reproduce the above copyright
  15  *    notice, this list of conditions and the following disclaimer in the
  16  *    documentation and/or other materials provided with the distribution.
  17  *
  18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
  19  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  20  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  21  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  22  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  23  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  24  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  25  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  26  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  27  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  28  * SUCH DAMAGE.
  29  *
  30  * $FreeBSD$
  31  */
  32
  33 static inline int
  34 beri_get_core(void)
  35 {
  36         uint32_t cinfo;
  37
  38         cinfo = mips_rd_cinfo();
  39         return (cinfo & 0xffff);
  40 }
  41
  42 static inline int
  43 beri_get_ncores(void)
  44 {
  45         uint32_t cinfo;
  46
  47         cinfo = mips_rd_cinfo();
  48         return ((cinfo >> 16) + 1);
  49 }
  50
  51 static inline int
  52 beri_get_thread(void)
  53 {
  54         uint32_t tinfo;
  55
  56         tinfo = mips_rd_tinfo();
  57         return (tinfo & 0xffff);
  58 }
  59
  60 static inline int
  61 beri_get_nthreads(void)
  62 {
  63         uint32_t tinfo;
  64
  65         tinfo = mips_rd_tinfo();
  66         return ((tinfo >> 16) + 1);
  67 }
  68
  69 static inline int
  70 beri_get_cpu(void)
  71 {
  72
  73         return ((beri_get_core() * beri_get_nthreads()) + beri_get_thread());
  74 }
  75
  76 static inline int
  77 beri_get_ncpus(void)
  78 {
  79
  80         return(beri_get_ncores() * beri_get_nthreads());
  81 }
  82
  83 void beripic_setup_ipi(device_t dev, u_int tid, u_int ipi_irq);
  84 void beripic_send_ipi(device_t dev, u_int tid);
  85 void beripic_clear_ipi(device_t dev, u_int tid);