Searched refs:initrdsize (Results 1 – 3 of 3) sorted by relevance
3 void boot_from_memory(uint64_t initrd, uint64_t initrdsize) in boot_from_memory() argument13 do_boot(kern[0], initrd, initrdsize); in boot_from_memory()
17 uint64_t initrd = r3, initrdsize = r4; in entry_c() local19 boot_from_memory(initrd, initrdsize); in entry_c()
36 void boot_from_memory(uint64_t initrd, uint64_t initrdsize);