mem_unit.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef mem_unit_h
#define mem_unit_h

#include "types.h"

//
// INTERFACE definition follows 
//


class Mem_unit
{

public:  
  static inline void tlb_flush();
  
  static inline void tlb_flush(Address addr);
};

//
// IMPLEMENTATION of inline functions (and needed classes)
//



inline void
Mem_unit::tlb_flush()
{
  unsigned dummy;
  asm volatile ("mov %%cr3,%0; mov %0,%%cr3 " : "=r"(dummy));
}



inline void
Mem_unit::tlb_flush(Address addr)
{
  asm volatile ("invlpg %0" : : "m" (*(char*)addr) : "memory");
}

#endif // mem_unit_h

---