Package RASCAL.WimpSlot

DescriptionWimpslot related methods.
Authorbbracke
Date2005/11/21 20:14:33
Revision1.1
 

Definitions

Quick access : ClausesGenericsDefinitionsSubprograms


 

Subprograms

Quick access : ClausesGenericsDefinitionsSubprograms


  
Get_WimpSlot_Size function
Returnnatural
Find the size of the tasks wimpslot.
  
Get_NextSlot_Size function
Returnnatural
Find the size of the next slot - the amount of memory
allocated to the next application.
  
Get_Page_Size function
Returnnatural
Find the page size.
  
Page_Align function
Returninteger
Page align Nr.
Parameter name Type Mode Default
Nrintegerin
  
Resize_WimpSlot procedure
Change the size of the tasks wimpslot.
Parameter name Type Mode Default
Size_Changeintegerin
  
Set_WimpSlot procedure
Set the size of the tasks wimpslot.
Parameter name Type Mode Default
New_Sizenaturalin
  
Set_NextSlot procedure
Set the size of the next slot - the amount of memory
allocated to the next application.
Parameter name Type Mode Default
Sizenaturalin