Symbol: xen_hvm_evtchn_upcall_vector_t