{

Context context(state);

#if CPU(ARM64)

auto& cpu = context.cpu;

void* originalLR = cpu.gpr<void*>(ARM64Registers::lr);

void* originalPC = cpu.pc();

#endif

state->initializeStackFunction = nullptr;

state->initializeStackArg = nullptr;

state->probeFunction(context);

#if CPU(ARM64)

// The ARM64 probe trampoline does not support changing both lr and pc.

RELEASE_ASSERT(originalPC == cpu.pc() || originalLR == cpu.gpr<void*>(ARM64Registers::lr));

#endif

if (context.hasWritesToFlush()) {

context.stack().setSavedStackPointer(state->cpu.sp());

void* lowWatermark = context.stack().lowWatermarkFromVisitingDirtyPages();

state->cpu.sp() = std::min(lowWatermark, state->cpu.sp());

state->initializeStackFunction = flushDirtyStackPages;

state->initializeStackArg = context.releaseStack();

}

{

std::unique_ptr<Stack> stack(reinterpret_cast<Probe::Stack*>(state->initializeStackArg));

stack->flushWrites();

state->cpu.sp() = stack->savedStackPointer();