Sagi Shahar wrote: > TDX guests' registers cannot be initialized directly using > vcpu_regs_set(), hence the stack pointer needs to be initialized by > the guest itself, running boot code beginning at the reset vector. > > Expose the function to allocate the guest stack so that TDX > initialization code can allocate it itself and skip the allocation in > vm_arch_vcpu_add() in that case. > > Reviewed-by: Binbin Wu <[email protected]> > Signed-off-by: Sagi Shahar <[email protected]>
Reviewed-by: Ira Weiny <[email protected]> [snip]
