VOID MiUnmapImageHeaderInHyperSpace( VOID ); Routine Description: This procedure unmaps the PTE reserved for mapping the image header, flushes the TB, and, if the WaitingForImageMapping field is not NULL, sets the specified event. On ALPHA, no action is required as the super-page address of the page was used. Arguments: None. Return Value: None. Environment: Kernel mode.