/** 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	4static 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_ */