1cb0772ff1ef83598af1799032bd7545107f33c9
[qemu] / target-ppc / op_helper.h
1 /*
2  *  PowerPC emulation helpers header for qemu.
3  *
4  *  Copyright (c) 2003-2007 Jocelyn Mayer
5  *
6  * This library is free software; you can redistribute it and/or
7  * modify it under the terms of the GNU Lesser General Public
8  * License as published by the Free Software Foundation; either
9  * version 2 of the License, or (at your option) any later version.
10  *
11  * This library is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  * Lesser General Public License for more details.
15  *
16  * You should have received a copy of the GNU Lesser General Public
17  * License along with this library; if not, write to the Free Software
18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19  */
20
21 void do_print_mem_EA (target_ulong EA);
22
23 /* Registers load and stores */
24 #if defined(TARGET_PPC64)
25 void do_store_pri (int prio);
26 #endif
27 target_ulong ppc_load_dump_spr (int sprn);
28 void ppc_store_dump_spr (int sprn, target_ulong val);
29
30 /* Misc */
31 /* POWER / PowerPC 601 specific helpers */
32 #if !defined(CONFIG_USER_ONLY)
33 void do_POWER_rac (void);
34 void do_store_hid0_601 (void);
35 #endif
36
37 /* PowerPC 440 specific helpers */
38 #if !defined(CONFIG_USER_ONLY)
39 void do_440_tlbre (int word);
40 void do_440_tlbwe (int word);
41 #endif
42
43 /* PowerPC 4xx specific helpers */
44 void do_load_dcr (void);
45 void do_store_dcr (void);
46 #if !defined(CONFIG_USER_ONLY)
47 void do_4xx_tlbre_lo (void);
48 void do_4xx_tlbre_hi (void);
49 void do_4xx_tlbwe_lo (void);
50 void do_4xx_tlbwe_hi (void);
51 #endif
52
53 /* PowerPC 403 specific helpers */
54 #if !defined(CONFIG_USER_ONLY)
55 void do_load_403_pb (int num);
56 void do_store_403_pb (int num);
57 #endif