/////////////////////////////////////////////////////////////////////////
// $Id$
/////////////////////////////////////////////////////////////////////////
//
//   Copyright (c) 2011 Stanislav Shwartsman
//          Written by Stanislav Shwartsman [sshwarts at sourceforge net]
//
//  This library is free software; you can redistribute it and/or
//  modify it under the terms of the GNU Lesser General Public
//  License as published by the Free Software Foundation; either
//  version 2 of the License, or (at your option) any later version.
//
//  This library is distributed in the hope that it will be useful,
//  but WITHOUT ANY WARRANTY; without even the implied warranty of
//  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
//  Lesser General Public License for more details.
//
//  You should have received a copy of the GNU Lesser General Public
//  License along with this library; if not, write to the Free Software
//  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA B 02110-1301 USA
//
/////////////////////////////////////////////////////////////////////////

#ifndef BX_P3_KATMAI_CPUID_DEFINITIONS_H
#define BX_P3_KATMAI_CPUID_DEFINITIONS_H

#if BX_CPU_LEVEL >= 6 && BX_SUPPORT_X86_64 == 0

#include "cpu/cpuid.h"

class p3_katmai_t : public bx_cpuid_t {
public:
  p3_katmai_t(BX_CPU_C *cpu);
  virtual ~p3_katmai_t() {}

  // return CPU name
  virtual const char *get_name(void) const { return "p3_katmai"; }

  virtual Bit32u get_isa_extensions_bitmask(void) const;
  virtual Bit32u get_cpu_extensions_bitmask(void) const;

  virtual void get_cpuid_leaf(Bit32u function, Bit32u subfunction, cpuid_function_t *leaf);

  virtual void dump_cpuid(void);

private:
  void get_std_cpuid_leaf_0(cpuid_function_t *leaf);
  void get_std_cpuid_leaf_1(cpuid_function_t *leaf);
  void get_std_cpuid_leaf_2(cpuid_function_t *leaf);
  void get_std_cpuid_leaf_3(cpuid_function_t *leaf);
};

extern bx_cpuid_t *create_p3_katmai_cpuid(BX_CPU_C *cpu);

#endif // BX_CPU_LEVEL >= 6 && BX_SUPPORT_X86_64 == 0

#endif