vm_init_post_sem
status_t vm_init_post_sem(struct kernel_args *args);
vm_init_post_sem(&sKernelArgs);