[crac] Integrated: 8352408: [CRaC] Minor CRE API improvements

[Timofei Pushkin]

On Wed, 19 Mar 2025 11:39:20 GMT, Timofei Pushkin <tpushkin at openjdk.org> wrote:

> Minor fixups for CRE API:
> 
> `crexec` is also adopted to conform to the restore data API docs change.

This pull request has now been integrated.

Changeset: 7e6c09d6
Author:    Timofei Pushkin <tpushkin at openjdk.org>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/7e6c09d6d84f628df91478289e6902fd58e8c6df
Stats:     22 lines in 3 files changed: 7 ins; 2 del; 13 mod

8352408: [CRaC] Minor CRE API improvements

Reviewed-by: rvansa

-------------

PR: https://git.openjdk.org/crac/pull/214