ghcb_extra_regs
ghcb_sync_out(struct trapframe *frame, const struct ghcb_extra_regs *regs,
ghcb_sync_in(struct trapframe *frame, struct ghcb_extra_regs *regs,
struct ghcb_extra_regs ghcb_regs, *pregs = NULL;
struct ghcb_extra_regs ghcb_regs;
struct ghcb_extra_regs ghcb_regs;
void ghcb_sync_out(struct trapframe *, const struct ghcb_extra_regs *,
void ghcb_sync_in(struct trapframe *, struct ghcb_extra_regs *,