-int tridentfb_setup(char *options);
-
-int __init tridentfb_init(void)
-{
-#ifndef MODULE
- char *option = NULL;
-
- if (fb_get_options("tridentfb", &option))
- return -ENODEV;
- tridentfb_setup(option);
-#endif
- output("Trident framebuffer %s initializing\n", VERSION);
- return pci_module_init(&tridentfb_pci_driver);
-}
-
-void __exit tridentfb_exit(void)
-{
- pci_unregister_driver(&tridentfb_pci_driver);
-}
-
-