- MSG_mailbox_get_task_ext() -> MSG_task_receive_ext()
- MSG_mailbox_get_task_ext_bounded -> MSG_task_receive_ext_bounded
- MSG_host_(get/set)_params -> MSG_vm_(get/set)_params
- MSG_mailbox_get_task_ext() -> MSG_task_receive_ext()
- MSG_mailbox_get_task_ext_bounded -> MSG_task_receive_ext_bounded
- MSG_host_(get/set)_params -> MSG_vm_(get/set)_params