Searched refs:kernname (Results 1 – 1 of 1) sorted by relevance
1376 char kernname[512]; in dt_vopen() local1378 p = dt_bootfile(kernname, sizeof(kernname)); in dt_vopen()