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 #if !defined(CONFIG_USER_ONLY)
  32 void do_store_msr (void);
  33 #endif
  34
  35 /* POWER / PowerPC 601 specific helpers */
  36 void do_POWER_abso (void);
  37 void do_POWER_clcs (void);
  38 void do_POWER_div (void);
  39 void do_POWER_divo (void);
  40 void do_POWER_divs (void);
  41 void do_POWER_divso (void);
  42 void do_POWER_dozo (void);
  43 void do_POWER_maskg (void);
  44 void do_POWER_mulo (void);
  45 #if !defined(CONFIG_USER_ONLY)
  46 void do_POWER_rac (void);
  47 void do_store_hid0_601 (void);
  48 #endif
  49
  50 /* PowerPC 440 specific helpers */
  51 #if !defined(CONFIG_USER_ONLY)
  52 void do_440_tlbre (int word);
  53 void do_440_tlbwe (int word);
  54 #endif
  55
  56 /* PowerPC 4xx specific helpers */
  57 void do_load_dcr (void);
  58 void do_store_dcr (void);
  59 #if !defined(CONFIG_USER_ONLY)
  60 void do_4xx_tlbre_lo (void);
  61 void do_4xx_tlbre_hi (void);
  62 void do_4xx_tlbwe_lo (void);
  63 void do_4xx_tlbwe_hi (void);
  64 #endif
  65
  66 /* PowerPC 403 specific helpers */
  67 #if !defined(CONFIG_USER_ONLY)
  68 void do_load_403_pb (int num);
  69 void do_store_403_pb (int num);
  70 #endif