arch_platform_init
status_t arch_platform_init(struct kernel_args *kernelArgs);
arch_platform_init(&sKernelArgs);