Searched refs:booted_kernel (Results 1 – 3 of 3) sorted by relevance
73 char booted_kernel[64]; /* 80: name of booted kernel */ member100 char booted_kernel[64]; /* name of booted kernel */ member
166 bcopy(name, bootinfo_v1.booted_kernel, in main()167 sizeof(bootinfo_v1.booted_kernel)); in main()
278 bcopy(v1p->booted_kernel, bootinfo.booted_kernel,279 min(sizeof v1p->booted_kernel,280 sizeof bootinfo.booted_kernel));303 prom_getenv(PROM_E_BOOTED_FILE, bootinfo.booted_kernel,304 sizeof bootinfo.booted_kernel);1528 bootinfo.booted_kernel)); in cpu_sysctl()