dmar_platform_optin
EXPORT_SYMBOL_GPL(dmar_platform_optin);
(!dmar_disabled || dmar_platform_optin())) {
if (!dmar_platform_optin() || no_platform_optin || !has_external_pci())
return dmar_platform_optin();
extern bool dmar_platform_optin(void);