89  * smi_data_buf_free: free SMI data buffer
100  * smi_data_buf_realloc: grow SMI data buffer if needed
154 	/* make sure SMI data buffer is at least buf_size */  in smi_data_buf_size_store()
263 	/* generate SMI */  in raise_smi()
264 	/* inb to force posted write through and make SMI happen now */  in raise_smi()
279  * dcdbas_smi_request: generate SMI request
293 	/* SMI requires CPU 0 */  in dcdbas_smi_request()
306  * 0: zero SMI data buffer
307  * 1: generate calling interface SMI
308  * 2: generate raw SMI
311  * to generate SMI.
331 		/* Raw SMI */  in smi_request_store()
338 		 * Calling Interface SMI  in smi_request_store()
370  * host_control_smi: generate host control SMI
389 		/* write SMI data buffer physical address */  in host_control_smi()
420 		/* write SMI data buffer physical address */  in host_control_smi()
452 		dev_dbg(&dcdbas_pdev->dev, "%s: invalid SMI type %u\n",  in host_control_smi()
481 		dev_dbg(&dcdbas_pdev->dev, "%s: no SMI buffer\n", __func__);  in dcdbas_host_control()
486 		dev_dbg(&dcdbas_pdev->dev, "%s: SMI buffer too small\n",  in dcdbas_host_control()
606 		 "WSMT found, using firmware-provided SMI buffer.\n");  in dcdbas_check_wsmt()
676 	/* Check if ACPI WSMT table specifies protected SMI buffer address */  in dcdbas_probe()
682 	 * BIOS SMI calls require buffer addresses be in 32-bit address space.  in dcdbas_probe()