arch_int_init_post_vm
status_t arch_int_init_post_vm(struct kernel_args* args);
return arch_int_init_post_vm(args);