Searched refs:ba_kernel (Results 1 – 2 of 2) sorted by relevance
159 char *ba_kernel; /* kernel to boot, e.g., "vmunix" */ member
745 return (ba->ba_kernel); in obp_v0_getbootfile()