SD_DATA
SD_DATA(sd_state) = (sd_state_str_ptr)wsp->walk_addr;
SD_DATA(current_list_count) = 0;
SD_DATA(valid_root_count) = 0;
if (mdb_vread((void *)&SD_DATA(sd_state_data),
wsp->walk_addr = (uintptr_t)(SD_DATA(sd_state_data.array));
SD_DATA(current_root) = wsp->walk_addr;
if (SD_DATA(current_list_count) >= SD_DATA(sd_state_data.n_items)) {
SD_DATA(valid_root_count++);
SD_DATA(current_list_count++);