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