--
-- Copyright (C) 2017 Nico Huber <nico.h@gmx.de>
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 2 of the License, or
-- (at your option) any later version.
--
-- This program 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 General Public License for more details.
--

with HW.Config;

package body HW.PCI.MMConf
with
   Refined_State =>
     (Address_State  =>
        (MM8.Base_Address, MM16.Base_Address, MM32.Base_Address),
      PCI_State      =>
        (MM8.State, MM16.State, MM32.State))
is

   Default_Base_Address : constant Word64 :=
      Calc_Base_Address (Config.Default_MMConf_Base, Dev);

   type Index16 is new Index range 0 .. Index'Last / 2;
   type Index32 is new Index range 0 .. Index'Last / 4;

   type Array8 is array (Index) of Byte with Atomic_Components;
   type Array16 is array (Index16) of Word16 with Atomic_Components;
   type Array32 is array (Index32) of Word32 with Atomic_Components;

   package MM8 is new HW.MMIO_Range
     (Default_Base_Address, Word8, Index, Array8);
   package MM16 is new HW.MMIO_Range
     (Default_Base_Address, Word16, Index16, Array16);
   package MM32 is new HW.MMIO_Range
     (Default_Base_Address, Word32, Index32, Array32);

   procedure Read8 (Value : out Word8; Offset : Index) renames MM8.Read;

   procedure Read16 (Value : out Word16; Offset : Index)
   is
   begin
      MM16.Read (Value, Index16 (Offset / 2));
   end Read16;

   procedure Read32 (Value : out Word32; Offset : Index)
   is
   begin
      MM32.Read (Value, Index32 (Offset / 4));
   end Read32;

   procedure Write8 (Offset : Index; Value : Word8) renames MM8.Write;

   procedure Write16 (Offset : Index; Value : Word16)
   is
   begin
      MM16.Write (Index16 (Offset / 2), Value);
   end Write16;

   procedure Write32 (Offset : Index; Value : Word32)
   is
   begin
      MM32.Write (Index32 (Offset / 4), Value);
   end Write32;

   procedure Set_Base_Address (Base : Word64)
   is
      Base_Address : constant Word64 := Calc_Base_Address (Base, Dev);
   begin
      MM8.Set_Base_Address (Base_Address);
      MM16.Set_Base_Address (Base_Address);
      MM32.Set_Base_Address (Base_Address);
   end Set_Base_Address;

end HW.PCI.MMConf;