Lines Matching defs:v_bootinfo
54 * v_bootinfo [all] returned as zero
117 unsigned long v_bootinfo[3]; /* info needed by mboot (unsupported) */
139 uint64_t v_bootinfo[3]; /* info needed by mboot (unsupported) */
156 v.v_bootinfo[0] = (unsigned long)extv.v_bootinfo[0]; \
157 v.v_bootinfo[1] = (unsigned long)extv.v_bootinfo[1]; \
158 v.v_bootinfo[2] = (unsigned long)extv.v_bootinfo[2]; \
179 extv.v_bootinfo[0] = (uint64_t)v.v_bootinfo[0]; \
180 extv.v_bootinfo[1] = (uint64_t)v.v_bootinfo[1]; \
181 extv.v_bootinfo[2] = (uint64_t)v.v_bootinfo[2]; \
211 uint32_t v_bootinfo[3]; /* info needed by mboot (unsupported) */
226 v.v_bootinfo[0] = v32.v_bootinfo[0]; \
227 v.v_bootinfo[1] = v32.v_bootinfo[1]; \
228 v.v_bootinfo[2] = v32.v_bootinfo[2]; \
251 extv.v_bootinfo[0] = v32.v_bootinfo[0]; \
252 extv.v_bootinfo[1] = v32.v_bootinfo[1]; \
253 extv.v_bootinfo[2] = v32.v_bootinfo[2]; \
276 v32.v_bootinfo[0] = (uint32_t)v.v_bootinfo[0]; \
277 v32.v_bootinfo[1] = (uint32_t)v.v_bootinfo[1]; \
278 v32.v_bootinfo[2] = (uint32_t)v.v_bootinfo[2]; \
305 v32.v_bootinfo[0] = extv.v_bootinfo[0]; \
306 v32.v_bootinfo[1] = extv.v_bootinfo[1]; \
307 v32.v_bootinfo[2] = extv.v_bootinfo[2]; \