Searched refs:multiboot_uint64_t (Results 1 – 2 of 2) sorted by relevance
95 typedef unsigned long long multiboot_uint64_t; typedef191 multiboot_uint64_t addr;192 multiboot_uint64_t len;280 multiboot_uint64_t framebuffer_addr;351 multiboot_uint64_t pointer;405 multiboot_uint64_t pointer;
1175 mbt->pointer = (multiboot_uint64_t)IH; in mbi_efi64_ih()1191 mbt->pointer = (multiboot_uint64_t)ST; in mbi_efi64()