2 ; Ullrich von Bassewitz, 21.06.2002
4 ; void __fastcall__ tgi_unload (void);
5 ; /* Unload the currently loaded driver. */
8 .include "tgi-kernel.inc"
15 jsr _tgi_done ; Switch off graphics
16 jsr tgi_uninstall ; Allow the driver to clean up
20 jsr _mod_free ; Free the driver
22 jmp tgi_clear_ptr ; Clear the driver pointer and exit