__machine__create_kernel_maps
ret = __machine__create_kernel_maps(machine, kernel);
if (__machine__create_kernel_maps(machine, kernel) < 0) {