Searched refs:obp_tte_str (Results 1 – 1 of 1) sorted by relevance
2804 char obp_tte_str[] = variable2958 (void) sprintf(bp, obp_tte_str, in create_va_to_tte()