acpi_os_get_next_filename
char *acpi_os_get_next_filename(void *dir_handle);
while ((filename = acpi_os_get_next_filename(table_dir))) {