e611b132f
1 2 3 4 5 6 7 8 9 10 11
/* invd.h Define INVD CPU functions. */ /* static char SccsID[]="@(#)invd.h 1.5 09/01/94"; */ IMPORT VOID INVD IPT0();