90  * smi_data_buf_free: free SMI data buffer
101  * smi_data_buf_realloc: grow SMI data buffer if needed
155 	/* make sure SMI data buffer is at least buf_size */  in smi_data_buf_size_store()
264 	/* generate SMI */  in raise_smi()
265 	/* inb to force posted write through and make SMI happen now */  in raise_smi()
280  * dcdbas_smi_request: generate SMI request
294 	/* SMI requires CPU 0 */  in dcdbas_smi_request()
307  * 0: zero SMI data buffer
308  * 1: generate calling interface SMI
309  * 2: generate raw SMI
312  * to generate SMI.
332 		/* Raw SMI */  in smi_request_store()
339 		 * Calling Interface SMI  in smi_request_store()
371  * host_control_smi: generate host control SMI
390 		/* write SMI data buffer physical address */  in host_control_smi()
421 		/* write SMI data buffer physical address */  in host_control_smi()
453 		dev_dbg(&dcdbas_pdev->dev, "%s: invalid SMI type %u\n",  in host_control_smi()
482 		dev_dbg(&dcdbas_pdev->dev, "%s: no SMI buffer\n", __func__);  in dcdbas_host_control()
487 		dev_dbg(&dcdbas_pdev->dev, "%s: SMI buffer too small\n",  in dcdbas_host_control()
607 		 "WSMT found, using firmware-provided SMI buffer.\n");  in dcdbas_check_wsmt()
677 	/* Check if ACPI WSMT table specifies protected SMI buffer address */  in dcdbas_probe()
683 	 * BIOS SMI calls require buffer addresses be in 32-bit address space.  in dcdbas_probe()