Lines Matching refs:uint64_t
237 d = (EFI_MEMORY_DESCRIPTOR *)((uint64_t)mmap_info->mmap + \ in fill_e820()
356 mbi->mi_loader_name = (UINT32)(uint64_t)uefi_boot_loader_name; in construct_mbi()
434 uint64_t *mbistart; in construct_mbi2()
435 uint64_t *p; in construct_mbi2()
476 p += (2 * sizeof(uint32_t)) / sizeof(uint64_t); in construct_mbi2()
485 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
494 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
509 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
537 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
546 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
554 tag->pointer = (uint64_t)sys_table; in construct_mbi2()
555 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
566 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
574 p += ALIGN_UP(tag->size, MULTIBOOT2_TAG_ALIGN) / sizeof(uint64_t); in construct_mbi2()
577 ((uint32_t *)mbistart)[0] = (uint64_t)((char *)p - (char *)mbistart); in construct_mbi2()
616 hv_jump(hvld->get_hv_entry(hvld), (uint32_t)(uint64_t)mbi, in run_acrn()