Searched refs:kern64 (Results 1 – 3 of 3) sorted by relevance
74 md_load_dual(char *args, vm_offset_t *modulep, vm_offset_t *dtb, int kern64) in md_load_dual() argument149 kfp = file_findfile(NULL, kern64 ? "elf64 kernel" : "elf32 kernel"); in md_load_dual()155 if (kern64) { in md_load_dual()180 size = md_copymodules(0, kern64); in md_load_dual()184 if (kern64) { in md_load_dual()208 (void)md_copymodules(addr, kern64); in md_load_dual()
113 md_copymodules(vm_offset_t addr, bool kern64) in md_copymodules() argument122 align = kern64 ? sizeof(uint64_t) : sizeof(uint32_t); in md_copymodules()131 if (kern64) { in md_copymodules()
12 vm_offset_t md_copymodules(vm_offset_t addr, bool kern64);