Symbol: cxl_gpf_get_dvsec