properties.c File Reference

x86 MAL properties methods More...

#include <stdint.h>
#include "structures.h"

Functions
uint32_t	accessible (uint32_t pd, uint32_t v)
	Testing if the virtual address v of the page directory pd is accessible or not. More...
uint32_t	present (uint32_t pd, uint32_t v)
	Testing if a given virtual address is mapped or not into a virtual space. More...
void	write_accessible (uint32_t pd, uint32_t v, uint32_t accessible)
void	write_present (uint32_t pd, uint32_t v, uint32_t present)
	Modify the present bit value. More...

Detailed Description

x86 MAL properties methods

Function Documentation

accessible()

uint32_t accessible	(	uint32_t	pd,
		uint32_t	v
	)

Testing if the virtual address v of the page directory pd is accessible or not.

Parameters

pd	a page directory
v	a virtual address

Returns

1 if accessible, O else

present()

uint32_t present	(	uint32_t	pd,
		uint32_t	v
	)

Testing if a given virtual address is mapped or not into a virtual space.

Parameters

pd	a page directory
v	a virtual address

Returns

1 if present, 0 else

write_accessible()

void write_accessible	(	uint32_t	pd,
		uint32_t	v,
		uint32_t	accessible
	)

write_present()

void write_present	(	uint32_t	pd,
		uint32_t	v,
		uint32_t	present
	)

Modify the present bit value.

Parameters

pd	a page directory
v	a virtual address
present	the new value of the present bit

Postcondition

The present bit of the virtual address is equal to present