-extern void arm_debug_set32(arm_debug_state_t *debug_state);
-extern void arm_debug_set64(arm_debug_state_t *debug_state);
-
-kern_return_t handle_get_arm_thread_state(
- thread_state_t tstate,
- mach_msg_type_number_t * count,
- const arm_saved_state_t *saved_state);
-kern_return_t handle_get_arm32_thread_state(
- thread_state_t tstate,
- mach_msg_type_number_t * count,
- const arm_saved_state_t *saved_state);
-kern_return_t handle_get_arm64_thread_state(
- thread_state_t tstate,
- mach_msg_type_number_t * count,
- const arm_saved_state_t *saved_state);
-
-kern_return_t handle_set_arm_thread_state(
- const thread_state_t tstate,
- mach_msg_type_number_t count,
- arm_saved_state_t *saved_state);
-kern_return_t handle_set_arm32_thread_state(
- const thread_state_t tstate,
- mach_msg_type_number_t count,
- arm_saved_state_t *saved_state);
-kern_return_t handle_set_arm64_thread_state(
- const thread_state_t tstate,
- mach_msg_type_number_t count,
- arm_saved_state_t *saved_state);