handle_vc_boot_ghcb
extern bool handle_vc_boot_ghcb(struct pt_regs *regs);
trapnr == X86_TRAP_VC && handle_vc_boot_ghcb(regs))