remove_hdmi       633 drivers/platform/x86/alienware-wmi.c 		remove_hdmi(dev);
remove_hdmi       847 drivers/platform/x86/alienware-wmi.c 		remove_hdmi(platform_device);