169 	 * Install ACPI tables directly in guest memory for use by guests which  in basl_finish_install_guest_tables()
171 	 * generated ACPI tables instead, but it doesn't hurt to install the  in basl_finish_install_guest_tables()
172 	 * tables always.  in basl_finish_install_guest_tables()
215 		 * Install ACPI tables directly in guest memory for use by  in basl_finish_patch_checksums()
217 		 * to the firmware generated ACPI tables instead, but it doesn't  in basl_finish_patch_checksums()
218 		 * hurt to install the tables always.  in basl_finish_patch_checksums()
301 		 * Install ACPI tables directly in guest memory for use by  in basl_finish_patch_pointers()
303 		 * to the firmware generated ACPI tables instead, but it doesn't  in basl_finish_patch_pointers()
304 		 * hurt to install the tables always.  in basl_finish_patch_pointers()
351 		warnx("%s: no ACPI tables found", __func__);  in basl_finish()
356 	 * If we install ACPI tables by FwCfg and by memory, Windows will use  in basl_finish()
357 	 * the tables from memory. This can cause issues when using advanced  in basl_finish()
359 	 * tables accordingly.  in basl_finish()
365 	 * We have to install all tables before we can patch them. Therefore,  in basl_finish()
366 	 * use two loops. The first one installs all tables and the second one  in basl_finish()