58  * smi_data_buf_free: free SMI data buffer
77  * smi_data_buf_realloc: grow SMI data buffer if needed
141 	/* make sure SMI data buffer is at least buf_size */  in smi_data_buf_size_store()
250 	/* generate SMI */  in raise_smi()
251 	/* inb to force posted write through and make SMI happen now */  in raise_smi()
266  * dcdbas_smi_request: generate SMI request
280 	/* SMI requires CPU 0 */  in dcdbas_smi_request()
292  * 0: zero SMI data buffer
293  * 1: generate calling interface SMI
294  * 2: generate raw SMI
297  * to generate SMI.
317 		/* Raw SMI */  in smi_request_store()
324 		 * Calling Interface SMI  in smi_request_store()
357  * host_control_smi: generate host control SMI
376 		/* write SMI data buffer physical address */  in host_control_smi()
407 		/* write SMI data buffer physical address */  in host_control_smi()
439 		dev_dbg(&dcdbas_pdev->dev, "%s: invalid SMI type %u\n",  in host_control_smi()
468 		dev_dbg(&dcdbas_pdev->dev, "%s: no SMI buffer\n", __func__);  in dcdbas_host_control()
473 		dev_dbg(&dcdbas_pdev->dev, "%s: SMI buffer too small\n",  in dcdbas_host_control()
593 		 "WSMT found, using firmware-provided SMI buffer.\n");  in dcdbas_check_wsmt()
663 	/* Check if ACPI WSMT table specifies protected SMI buffer address */  in dcdbas_probe()
669 	 * BIOS SMI calls require buffer addresses be in 32-bit address space.  in dcdbas_probe()