Constant VCPU_DISPATCH_STACK_STRIDE 

pub const VCPU_DISPATCH_STACK_STRIDE: u64 = _; // 65_536u64

Bytes reserved for each vCPU’s host-dispatch stack. These stacks are used while executing guest function dispatchers and long-lived invoke workers, not for ring-3 PVM execution.