35 extern void vm_direct_exit(int code); |
35 extern void vm_direct_exit(int code); |
36 |
36 |
37 // Shutdown the VM but do not exit the process |
37 // Shutdown the VM but do not exit the process |
38 extern void vm_shutdown(); |
38 extern void vm_shutdown(); |
39 // Shutdown the VM and abort the process |
39 // Shutdown the VM and abort the process |
40 extern void vm_abort(); |
40 extern void vm_abort(bool dump_core=true); |
41 |
41 |
42 // Trigger any necessary notification of the VM being shutdown |
42 // Trigger any necessary notification of the VM being shutdown |
43 extern void notify_vm_shutdown(); |
43 extern void notify_vm_shutdown(); |
44 |
44 |
45 // VM exit if error occurs during initialization of VM |
45 // VM exit if error occurs during initialization of VM |