intel_unregister_dsm_handler
void intel_unregister_dsm_handler(void);
intel_unregister_dsm_handler();