paging.h

一个操作系统的源代码

/** paging.h                                  
 **
 ** Original Author: Kasper Verdich Lund                         
 ** Date: 10.30.99     
 ** 
 ** Description:
 **                                       
 ** Revision History: 
 ** First version     
 **
 ** 0.0.1 10.30.99 Kasper Verdich Lund - (no comments)
 **
 ** 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 or MERCHANTABILITY or FITNESS FOR A PARTICULAR      
 ** PURPOSE.  See the GNU General Public License for more       
 ** details.                                                     
 **                                                              
 ** You should have received a copy of the GNU General Public    
 ** License along with this program; if not, write to the        
 ** Free Software Foundation, Inc., 59 Temple Place, Suite 330,  
 ** Boston, MA 02111-1307 USA                                    
 **                                                              
 *********************************************************Apostle OS**/

#ifndef __PAGING_H_
#define __PAGING_H_

#include <types.h>

#define PAGE_SIZE 4096

#define PAGE_PRESENT	1
#define PAGE_WRITABLE	2
#define PAGE_USER	4

static inline dword get_CR0 (void)
{
  register dword x;
  __asm__ __volatile__ (
    "movl %%cr0,%0"
    : "=r" (x));
  return (x);
}

static inline dword get_CR3 (void)
{
  register dword x;
  __asm__ __volatile__ (
    "movl %%cr3,%0"
    : "=r" (x));
  return (x);
}

#define set_CR0(c)  __asm__ __volatile__ ("movl %%eax, %%cr0"::"a" (c))
#define set_CR3(c)  __asm__ __volatile__ ("movl %%eax, %%cr3"::"a" (c))

static inline void flush_tlb(void)
{
  set_CR3(get_CR3());
}

extern dword CR3;

extern void setupPaging(dword available);
extern void enablePaging(void);

#endif /* __PAGING_H_ */