Lines Matching defs:mbi
163 multiboot2_info_dump(uint32_t magic, char *mbi)
179 if (mbi != (char *)rounddown((vaddr_t)mbi, MULTIBOOT_TAG_ALIGN)) {
180 printf("mbi at %p is not properly aligned\n", mbi);
184 total_size = *(uint32_t *)mbi;
185 reserved = *(uint32_t *)mbi + 1;
186 mbt = (struct multiboot_tag *)(uint32_t *)mbi + 2;
187 actual_size = (char *)mbt - mbi;
188 printf("mbi.total_size = %d\n", total_size);
189 printf("mbi.reserved = %d\n", reserved);
191 for (cp = mbi + sizeof(total_size) + sizeof(reserved);
192 cp - mbi < total_size;
197 printf("mbi[%d].type = %d(%s), .size = %d ",
1323 char *mbi = NULL;
1376 mbi = (char *)roundup((vaddr_t)mpp->mpp_mbi, MULTIBOOT_TAG_ALIGN);
1380 if (mbi_dispatch(mbp, tags[i], mbi + alen, &alen) != 0)
1392 ((multiboot_uint32_t *)mbi)[0] = alen; /* total size */
1393 ((multiboot_uint32_t *)mbi)[1] = 0; /* reserved */
1397 printf("%p ", mbi + i);
1401 (unsigned char)mbi[i+j] < 0x10 ? "0" : "",
1402 (unsigned char)(mbi[i+j]));
1414 multiboot2_info_dump(MULTIBOOT2_BOOTLOADER_MAGIC, mbi);
1436 multiboot(entry, vtophys(mbi),
Indexes created Tue Sep 30 20:09:53 GMT 2025