STACK_PAGE
vrs->vrs_gprs[VCPU_REGS_RSP] = (uint64_t)(STACK_PAGE + PAGE_SIZE) - stacksize;
write_mem(STACK_PAGE, &stack, PAGE_SIZE);
sev_register_encryption(STACK_PAGE, PAGE_SIZE);