int md_load64(char *args, vm_offset_t *modulep, vm_offset_t *dtb) { return (md_load_dual(args, modulep, dtb, 1)); }
int md_load(char *args, vm_offset_t *modulep) { return (md_load_dual(args, modulep, 0)); }