#include <stdint.h>
#include "mal.h"
#include "maldefines.h"
#include "structures.h"
#include "debug.h"
#include "segment_selectors.h"

Functions
void	enable_paging ()
	enables paging More...

void	disable_paging ()
	disables paging More...

void	writePhysical (uint32_t table, uint32_t index, uint32_t val)
	STORE an address in an indirection table, physical version. More...

uint32_t	readPhysicalNoFlags (uint32_t table, uint32_t index)
	Reads the address stored into table table, at index index, using physical addresses. This function masks the least significant bits that are used by the kernel to store various flags (see `readVirEntry` and `readPhyEntry` in model) More...

uint32_t	getTableSize ()
	Table size. More...

uint32_t	getIndexOfAddr (uint32_t addr, uint32_t index)
	Get index of indirection level given. More...

uint32_t	readAccessible (uint32_t table, uint32_t index)
	Reads the accessible flag. More...

void	writeAccessible (uint32_t table, uint32_t index, uint32_t value)
	Writes the accessible flag. More...

uint32_t	getCurPartition (void)
	Interface to get the current Page Directory. More...

void	updateCurPartition (uint32_t descriptor)
	Set current partition paddr. More...

uint32_t	getRootPartition (void)
	Interface to get the current Page Directory. More...

void	updateRootPartition (uint32_t partition)
	Set root partition paddr. More...

uint32_t	readPresent (uint32_t table, uint32_t index)
	Reads the present flag. More...

void	writePresent (uint32_t table, uint32_t index, uint32_t value)
	Marks a page as present or not. More...

void	writePDflag (uint32_t table, uint32_t index, uint32_t value)
	Writes the page directory flag contents. More...

uint32_t	readPDflag (uint32_t table, uint32_t index)
	Reads the Page Directory flag into a shadow table. More...

uint32_t	readPhysical (uint32_t table, uint32_t index)
	FETCH address stored in indirection table, physical version. More...

void	writePhysicalNoFlags (uint32_t table, uint32_t index, uint32_t addr)
	TODO. More...

uint32_t	getNbIndex (void)
	Get amount of indirection tables. More...

void	writeTableVirtual (uint32_t table, uint32_t index, uint32_t addr)
	STORE an address in an indirection table. More...

uint32_t	readTableVirtual (uint32_t table, uint32_t index)
	FETCH address stored in indirection table. More...

uint32_t	checkRights (uint32_t read, uint32_t write, uint32_t execute)
	Checks whether the asked rights are applicable to the architecture or not. More...

uint32_t	extractPreIndex (uint32_t addr, uint32_t index)

void	writeKernelPhysicalEntry (uintptr_t child_mmu_root_page, uint32_t kernel_index)

uint32_t	prepareType (int b, uint32_t vaddr)
	Combines a boolean and a virtual address (boolean on the least significant bit) More...

vaddr	getVidtVAddr ()

vaddr	getNthVAddrFrom (page base, uint32_t size)

interruptMask	getInterruptMaskFromCtx (contextAddr targetContext)

bool	noInterruptRequest (interruptMask flagsOnWake)

bool	firstVAddrGreaterThanSecond (vaddr vaddr1, vaddr vaddr2)

contextAddr	vaddrToContextAddr (vaddr contextVAddr)

bool	checkIndexPropertyLTB (userValue userIndex)

index	userValueToIndex (userValue userIndex)

void	writeContext (contextAddr ctx, vaddr ctxSaveVAddr, interruptMask flagsOnWake)

void	loadContext (contextAddr ctx, bool enforce_interrupts)

Variables
uint32_t	current_partition

uint32_t	root_partition

uint32_t	next_pid = 1

uint32_t	pcid_enabled

const uint32_t	nbLevel = 2

Function Documentation

◆ checkIndexPropertyLTB()

bool checkIndexPropertyLTB ( userValue userIndex )

◆ checkRights()

uint32_t checkRights	(	uint32_t	read,
		uint32_t	write,
		uint32_t	execute
	)

Checks whether the asked rights are applicable to the architecture or not.

Parameters

read	The read right
write	The write right
execute	The execute right

Returns: 1 if we can, 0 if we can't

◆ disable_paging()

void disable_paging ( )

disables paging

Postcondition: paging mechanism is disabled

◆ enable_paging()

void enable_paging ( )

enables paging

Postcondition: paging mechanism is enabled

◆ extractPreIndex()

uint32_t extractPreIndex	(	uint32_t	addr,
		uint32_t	index
	)

◆ firstVAddrGreaterThanSecond()

bool firstVAddrGreaterThanSecond	(	vaddr	vaddr1,
		vaddr	vaddr2
	)

◆ getCurPartition()

uint32_t getCurPartition ( void )

Interface to get the current Page Directory.

Returns: the current page directory

◆ getIndexOfAddr()

uint32_t getIndexOfAddr	(	uint32_t	addr,
		uint32_t	index
	)

Get index of indirection level given.

Parameters

addr	The virtual address
index	The indirection level address

Returns: The desired index

◆ getInterruptMaskFromCtx()

interruptMask getInterruptMaskFromCtx ( contextAddr targetContext )

◆ getNbIndex()

uint32_t getNbIndex ( void )

Get amount of indirection tables.

Returns: Amount of maximal indirection tables

◆ getNthVAddrFrom()

vaddr getNthVAddrFrom	(	page	base,
		uint32_t	size
	)

◆ getRootPartition()

uint32_t getRootPartition ( void )

Interface to get the current Page Directory.

Returns: the root partition

◆ getTableSize()

uint32_t getTableSize ( void )

Table size.

Returns: The amount of entries in a page table

◆ getVidtVAddr()

vaddr getVidtVAddr ( void )

◆ loadContext()

void loadContext	(	contextAddr	ctx,
		bool	enforce_interrupts
	)

◆ noInterruptRequest()

bool noInterruptRequest ( interruptMask flagsOnWake )

◆ prepareType()

uint32_t prepareType	(	int	b,
		uint32_t	vaddr
	)

Combines a boolean and a virtual address (boolean on the least significant bit)

Parameters

b
vaddr

◆ readAccessible()

uint32_t readAccessible	(	uint32_t	table,
		uint32_t	index
	)

Reads the accessible flag.

Parameters

table	The table to read from
index	The index in the given table

Returns: 1 if the page is user-mode accessible, 0 else

◆ readPDflag()

uint32_t readPDflag	(	uint32_t	table,
		uint32_t	index
	)

Reads the Page Directory flag into a shadow table.

Parameters

table	The shadow page's last indirection
index	The index into the shadow table

Returns: The value of the PD flag

◆ readPhysical()

uint32_t readPhysical	(	uint32_t	table,
		uint32_t	index
	)

FETCH address stored in indirection table, physical version.

Parameters

table	The shadow page's last indirection
index	The index into the shadow table

Returns: The value of the PD flag

◆ readPhysicalNoFlags()

uint32_t readPhysicalNoFlags	(	uint32_t	table,
		uint32_t	index
	)

Reads the address stored into table table, at index index, using physical addresses. This function masks the least significant bits that are used by the kernel to store various flags (see readVirEntry and readPhyEntry in model)

Reads the address stored into table table, at index index, using physical addresses This function masks the least significant bits that are used by the kernel to store various flags (see readVirEntry and readPhyEntry in model)

Parameters

table	The table to read from
index	The index in the table

Returns: The address stored in the given slot, with its least significant bits cleared

◆ readPresent()

uint32_t readPresent	(	uint32_t	table,
		uint32_t	index
	)

Reads the present flag.

Parameters

table	The table to read from
index	The index in the given table

Returns: 1 if the page is present, 0 else

◆ readTableVirtual()

uint32_t readTableVirtual	(	uint32_t	table,
		uint32_t	index
	)

FETCH address stored in indirection table.

Parameters

table	The table to read from
index	The index in the table

Returns: The address stored in the given slot

◆ updateCurPartition()

void updateCurPartition ( uint32_t descriptor )

Set current partition paddr.

Parameters

partition Current partition paddr

◆ updateRootPartition()

void updateRootPartition ( uint32_t partition )

Set root partition paddr.

Parameters

partition Root partition paddr

◆ userValueToIndex()

index userValueToIndex ( userValue userIndex )

◆ vaddrToContextAddr()

contextAddr vaddrToContextAddr ( vaddr contextVAddr )

◆ writeAccessible()

void writeAccessible	(	uint32_t	table,
		uint32_t	index,
		uint32_t	value
	)

Writes the accessible flag.

Modify the user bit value.

Parameters

table	The indirection table
index	The index into this indirection table
value	0 if the page is kernel-only, 1 else (any other value should be forbidden...)
pd	a page directory
v	a virtual address
access	the new value of the user bit

Postcondition: The accessible bit of the virtual address is equal to access

◆ writeContext()

void writeContext	(	contextAddr	ctx,
		vaddr	ctxSaveVAddr,
		interruptMask	flagsOnWake
	)

◆ writeKernelPhysicalEntry()

void writeKernelPhysicalEntry	(	uintptr_t	child_mmu_root_page,
		uint32_t	kernel_index
	)

This function is the real world version of the model's "mapKernel". We use the same MMU table page for every partition that is configured at boot time for the root partition. When creating a partition, that page is looked up in the MMU configuration pages of the parent partition and written at the same place.

◆ writePDflag()

void writePDflag	(	uint32_t	table,
		uint32_t	index,
		uint32_t	value
	)

Writes the page directory flag contents.

Parameters

table	The shadow page's last indirection
index	The index into the shadow table
value	The vamue of the PD flag

◆ writePhysical()

void writePhysical	(	uint32_t	table,
		uint32_t	index,
		uint32_t	val
	)

STORE an address in an indirection table, physical version.

Parameters

table	The table to store into
index	The index in the table
addr	The address to store

◆ writePhysicalNoFlags()

void writePhysicalNoFlags	(	uint32_t	table,
		uint32_t	index,
		uint32_t	addr
	)

TODO.

Parameters

table	The shadow page's last indirection
index	The index into the shadow table
addr	The index to write

Returns: The value of the PD flag

◆ writePresent()

void writePresent	(	uint32_t	table,
		uint32_t	index,
		uint32_t	value
	)

Marks a page as present or not.

Writes the present flag.

Parameters

table	The indirection table
index	The index into this indirection table
value	0 if the page is not present, 1 else (any other value should be forbidden...)

◆ writeTableVirtual()

void writeTableVirtual	(	uint32_t	table,
		uint32_t	index,
		uint32_t	addr
	)

STORE an address in an indirection table.

Variable Documentation

◆ current_partition

uint32_t current_partition

◆ nbLevel

const uint32_t nbLevel = 2

◆ next_pid

uint32_t next_pid = 1

◆ pcid_enabled

uint32_t pcid_enabled

◆ root_partition

uint32_t root_partition

Functions

Variables

Function Documentation

◆ checkIndexPropertyLTB()

◆ checkRights()

◆ disable_paging()

◆ enable_paging()

◆ extractPreIndex()

◆ firstVAddrGreaterThanSecond()

◆ getCurPartition()

◆ getIndexOfAddr()

◆ getInterruptMaskFromCtx()

◆ getNbIndex()

◆ getNthVAddrFrom()

◆ getRootPartition()

◆ getTableSize()

◆ getVidtVAddr()

◆ loadContext()

◆ noInterruptRequest()

◆ prepareType()

◆ readAccessible()

◆ readPDflag()

◆ readPhysical()

◆ readPhysicalNoFlags()

◆ readPresent()

◆ readTableVirtual()

◆ updateCurPartition()

◆ updateRootPartition()

◆ userValueToIndex()

◆ vaddrToContextAddr()

◆ writeAccessible()

◆ writeContext()

◆ writeKernelPhysicalEntry()

◆ writePDflag()

◆ writePhysical()

◆ writePhysicalNoFlags()

◆ writePresent()

◆ writeTableVirtual()

Variable Documentation

◆ current_partition

◆ nbLevel

◆ next_pid

◆ pcid_enabled

◆ root_partition