VECTOR_SYNC_CURRENT
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT, ESR_ELx_EC_DABT_CUR, dabt_handler);
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT,
/*vector=*/VECTOR_SYNC_CURRENT,
vm_install_sync_handler(vpmu_vm.vm, VECTOR_SYNC_CURRENT, ec,
(v) == VECTOR_SYNC_CURRENT || \
case VECTOR_SYNC_CURRENT: