/* __vxge_hw_vpath_func_id_get - Get the function id of the vpath. Returns the function number of the vpath.  */
u32 __vxge_hw_vpath_func_id_get(u32 vp_id, struct vxge_hw_vpmgmt_reg __iomem *vpmgmt_reg)
/* __vxge_hw_vpath_func_id_get - Get the function id of the vpath. Returns the function number of the vpath.  */
u32 __vxge_hw_vpath_func_id_get(u32 vp_id, struct vxge_hw_vpmgmt_reg __iomem *vpmgmt_reg)
{
	u64 val64;
	val64 = readq(&vpmgmt_reg->vpath_to_func_map_cfg1);
	return
	 (u32)VXGE_HW_VPATH_TO_FUNC_MAP_CFG1_GET_VPATH_TO_FUNC_MAP_CFG1(val64);
}