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
33static inline int
34beri_get_core(void)
35{
36	uint32_t cinfo;
37
38	cinfo = mips_rd_cinfo();
39	return (cinfo & 0xffff);
40}
41
42static inline int
43beri_get_ncores(void)
44{
45	uint32_t cinfo;
46
47	cinfo = mips_rd_cinfo();
48	return ((cinfo >> 16) + 1);
49}
50
51static inline int
52beri_get_thread(void)
53{
54	uint32_t tinfo;
55
56	tinfo = mips_rd_tinfo();
57	return (tinfo & 0xffff);
58}
59
60static inline int
61beri_get_nthreads(void)
62{
63	uint32_t tinfo;
64
65	tinfo = mips_rd_tinfo();
66	return ((tinfo >> 16) + 1);
67}
68
69static inline int
70beri_get_cpu(void)
71{
72
73	return ((beri_get_core() * beri_get_nthreads()) + beri_get_thread());
74}
75
76static inline int
77beri_get_ncpus(void)
78{
79
80	return(beri_get_ncores() * beri_get_nthreads());
81}
82
83void beripic_setup_ipi(device_t dev, u_int tid, u_int ipi_irq);
84void beripic_send_ipi(device_t dev, u_int tid);
85void beripic_clear_ipi(device_t dev, u_int tid);
86