Symbol: ghcb_extra_regs