Attempts to proof that the microcode conforms to all invariants of the system.

Sub VGAEnableDisplay Cdecl Alias "VGAEnableDisplay" ()

Enables video output on the VGA

Sub VGASet320x200Mode Cdecl Alias "VGASet320x200Mode" ()

Set the VGA registers to a 320x200 Mode

Sub VGASet320x240Mode Cdecl Alias "VGASet320x240Mode"()

Set the VGA registers to a 320x240 Mode

Sub VGASet400x300Mode Cdecl Alias "VGASet400x300Mode"()

Set the VGA registers to a 400x300 Mode

Sub VGASet640x480x16Mode Cdecl Alias "VGASet640x480x16Mode"()

Set the VGA registers to 640x480 16 colors

Sub VGASetModeX Cdecl Alias "VGASetModeX"()

Modifies the CRTC and Sequencer to enter planar addressing mode from a linear mode

Sub VGASetTextMode Cdecl Alias "VGASetTextMode" ()

Set the VGA registers to standard text mode

Sub VGAUnlockCRTC Cdecl Alias "VGAUnlockCRTC" ()

unlocks the CRTC registers

#include <wchar.h> wchar_t *wcscat( wchar_t *  _PDCLIB_restrict  s1, const wchar_t *  _PDCLIB_restrict  s2 )

Appends s2 to the end of s1

wchar_t * wcschr( const  wchar_t  * s, wchar_t  c )

Finds the first occurance of the character c in the null-terminated string s

#include <wchar.h> int wcscmp( const  wchar_t  * s1, const wchar_t *  _PDCLIB_restrict  s2 )

Compares s1 to s2

wchar_t *wcscpy( wchar_t *  _PDCLIB_restrict  s1, const wchar_t *  _PDCLIB_restrict  s2 )

Copies the null terminated wide string s2 to s1

size_t wcscspn( const  wchar_t  * s1, const  wchar_t  * s2 )

Tests characters in s1 for an occurance in s2 until a match is found

size_t wcslen( const  wchar_t  * s )

Calculates the length of s

#include <wchar.h> wchar_t *wcsncat( wchar_t *  _PDCLIB_restrict  s1, const wchar_t *  _PDCLIB_restrict  s2, size_t  n )

Appends atmost n characters of s2 to the end of s1

#include <wchar.h> int wcsncmp( const  wchar_t  * s1, const  wchar_t  * s2, size_t  n )

Compares at most n characters of s1 to n characters of s2

wchar_t * wcsncpy( wchar_t *  _PDCLIB_restrict  s1, const wchar_t *  _PDCLIB_restrict  s2, size_t  n )

Copies the null terminated wide string s2 to s1.

wchar_t * wcspbrk( const  wchar_t  * s1, const  wchar_t  * s2 )

Finds the first character in s1 that occurs in s2

wchar_t * wcsrchr( const  wchar_t  * s, wchar_t  c )

Finds the last character in s that matches c

size_t wcsspn( const  wchar_t  * s1, const  wchar_t  * s2 )

Tests characters in s1 for an occurance in s2 until no match is found

wchar_t * wcsstr( const  wchar_t  * s1, const  wchar_t  * s2 )

Finds the first occurance of s1 in s2

wchar_t * wcstok( wchar_t *  _PDCLIB_restrict  s1, const wchar_t *  _PDCLIB_restrict  s2, wchar_t **  _PDCLIB_restrict  ptr )

Split s1 on each and any character in s2 Supply NULL to continue searching the previous string.

wchar_t * wmemchr( const  wchar_t  * s, wchar_t  c, size_t  n )

Finds the first occurance of the character c in s, where n is the maximum amount of bytes to compare

int wmemcmp( const  wchar_t  * s1, const  wchar_t  * s2, size_t  n )

Compares at most n bytes of s1 to s2

wchar_t *wmemcpy( wchar_t *  _PDCLIB_restrict  s1, const wchar_t *  _PDCLIB_restrict  s2, size_t  n )

Copies the n wide characters from s2 to s1

wchar_t * wmemmove( wchar_t  * s1, const  wchar_t  * s2, size_t  n )

Copies n wide characters from s2 to s1, where s2 and s1 can overlap

wchar_t * wmemset( wchar_t  * s, wchar_t  c, size_t  n )

Fills s with n times the value c

Sub Write3C0 Cdecl Alias "Write3C0" ( ByVal index  as  byte, ByVal value as  Unsigned  byte )

Writes an index/value pair to VGA register 3C0 (Attribute Control Register)

Sub Write3C2 Cdecl Alias "Write3C2" ( ByVal value as  Unsigned  byte )

Writes to VGA register 3C2 (Miscellaneous Output Register)

Sub Write3C4 Cdecl Alias "Write3C4" ( ByVal index  as  byte, ByVal value as  Unsigned  byte )

Writes an index/value pair to VGA register 3C4 (Sequencer Register)

Sub Write3C6 Cdecl Alias "Write3C6" ( ByVal value as  Unsigned  byte )

Writes to VGA register 3C6 (DAC Mask Register)

Sub Write3CE Cdecl Alias "Write3CE" ( ByVal index  as  byte, ByVal value as  Unsigned  byte )

Writes an index/value pair to VGA register 3CE (Graphics Controller Register)

Sub Write3D4 Cdecl Alias "Write3D4"( ByVal index  as  byte, ByVal value as  Unsigned  byte )

Writes an index/value pair to VGA register 3D4 (CRTC Controller)

Map and fill out a set of address space structures

adds an entry to the page table.

Yields the processor to another thread.

Run privileged test code

Yields the processor to another thread.

Yield the execution resource to another program

Zeroes a page in physical memory