address_space.h

一个操作系统的源代码

/** address_space.h
 **
 ** Original Author: Guido de Jong
 ** Date: 11/16/99
 **
 ** Description:
 ** Address space management functions
 ** 
 ** 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 __ADDRESS_SPACE_H_
#define __ADDRESS_SPACE_H_

#include <types.h>
#include <paging.h>

#define systemSpace ((dword *) CR3)

typedef dword FlexiblePage;

#define FP_ADDR(x) (void *)(x & 0xfffff000)
#define FP_SIZE(x) ((x & 0x800) ? (0x0001 << (x & 0x7ff)) : (x & 0x7ff))

void map(dword *srcAddrSp, void *src, dword *destAddrSp, void *dest, size_t n, int flags);
void grant(dword *srcAddrSp, void *src, dword *destAddrSp, void *dest, size_t n, int flags);
void flush(dword *addressSpace, void *addr, size_t n, bool partial, bool me_too);

#endif /* __ADDRESS_SPACE_H_ */