mips32/TlbManager.h

/*
 * Copyright (c) 2008-2014, Pedigree Developers
 *
 * Please see the CONTRIB file in the root of the source tree for a full
 * list of contributors.
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted, provided that the above
 * copyright notice and this permission notice appear in all copies.
 *
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 */

#ifndef MIPS32_TLBMANAGER_H
#define MIPS32_TLBMANAGER_H

#include "pedigree/kernel/processor/InterruptHandler.h"
#include "pedigree/kernel/processor/state.h"
#include "pedigree/kernel/processor/types.h"

class MIPS32TlbManager : public InterruptHandler
{
  public:
    static MIPS32TlbManager &instance();

    void initialise();

    static void interruptAsm();

    static void
    writeTlb(uintptr_t entryHi, uintptr_t entryLo0, uintptr_t entryLo1);
    static void writeTlbWired(
        uintptr_t tlbEntry, uintptr_t entryHi, uintptr_t entryLo0,
        uintptr_t entryLo1);
    static void flush(uintptr_t numEntries);
    static void flushAsid(uintptr_t numEntries, uintptr_t asid);
    static void writeContext(uintptr_t context);
    static void writeWired(uintptr_t wired);
    static void writePageMask(uintptr_t pageMask);
    static uintptr_t getNumEntries();

    //
    // InterruptHandler interface.
    //
    void interrupt(size_t interruptNumber, InterruptState &state);

  private:
    MIPS32TlbManager();
    ~MIPS32TlbManager();

    static MIPS32TlbManager m_Instance;

    uint32_t m_nEntries;
};

#endif