acpi_ds_push_walk_state
acpi_ds_push_walk_state(struct acpi_walk_state *walk_state,
acpi_ds_push_walk_state(walk_state, thread);