Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / powerpc / include / asm / dbell.h
1 /*
2  * Copyright 2009 Freescale Semiconductor, Inc.
3  *
4  * This program is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU General Public License
6  * as published by the Free Software Foundation; either version
7  * 2 of the License, or (at your option) any later version.
8  *
9  * provides masks and opcode images for use by code generation, emulation
10  * and for instructions that older assemblers might not know about
11  */
12 #ifndef _ASM_POWERPC_DBELL_H
13 #define _ASM_POWERPC_DBELL_H
14
15 #include <linux/smp.h>
16 #include <linux/threads.h>
17
18 #include <asm/ppc-opcode.h>
19
20 #define PPC_DBELL_MSG_BRDCAST   (0x04000000)
21 #define PPC_DBELL_TYPE(x)       (((x) & 0xf) << (63-36))
22 #define PPC_DBELL_TYPE_MASK     PPC_DBELL_TYPE(0xf)
23 #define PPC_DBELL_LPID(x)       ((x) << (63 - 49))
24 #define PPC_DBELL_PIR_MASK      0x3fff
25 enum ppc_dbell {
26         PPC_DBELL = 0,          /* doorbell */
27         PPC_DBELL_CRIT = 1,     /* critical doorbell */
28         PPC_G_DBELL = 2,        /* guest doorbell */
29         PPC_G_DBELL_CRIT = 3,   /* guest critical doorbell */
30         PPC_G_DBELL_MC = 4,     /* guest mcheck doorbell */
31         PPC_DBELL_SERVER = 5,   /* doorbell on server */
32 };
33
34 #ifdef CONFIG_PPC_BOOK3S
35
36 #define PPC_DBELL_MSGTYPE               PPC_DBELL_SERVER
37 #define SPRN_DOORBELL_CPUTAG            SPRN_TIR
38 #define PPC_DBELL_TAG_MASK              0x7f
39
40 static inline void _ppc_msgsnd(u32 msg)
41 {
42         if (cpu_has_feature(CPU_FTR_HVMODE))
43                 __asm__ __volatile__ (PPC_MSGSND(%0) : : "r" (msg));
44         else
45                 __asm__ __volatile__ (PPC_MSGSNDP(%0) : : "r" (msg));
46 }
47
48 #else /* CONFIG_PPC_BOOK3S */
49
50 #define PPC_DBELL_MSGTYPE               PPC_DBELL
51 #define SPRN_DOORBELL_CPUTAG            SPRN_PIR
52 #define PPC_DBELL_TAG_MASK              0x3fff
53
54 static inline void _ppc_msgsnd(u32 msg)
55 {
56         __asm__ __volatile__ (PPC_MSGSND(%0) : : "r" (msg));
57 }
58
59 #endif /* CONFIG_PPC_BOOK3S */
60
61 extern void doorbell_cause_ipi(int cpu, unsigned long data);
62 extern void doorbell_exception(struct pt_regs *regs);
63 extern void doorbell_setup_this_cpu(void);
64
65 static inline void ppc_msgsnd(enum ppc_dbell type, u32 flags, u32 tag)
66 {
67         u32 msg = PPC_DBELL_TYPE(type) | (flags & PPC_DBELL_MSG_BRDCAST) |
68                         (tag & 0x07ffffff);
69
70         _ppc_msgsnd(msg);
71 }
72
73 #endif /* _ASM_POWERPC_DBELL_H */