1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/* invlpg.h Define INVLPG CPU functions. */ /* static char SccsID[]="@(#)invlpg.h 1.4 02/09/94"; */ IMPORT VOID INVLPG IPT1( IU32, op1 );