73 /* Enable/Disable PHC by the kernel, affects on the next init flow */
86 /* Check if PHC is enabled by the kernel */
94 /* PHC is activated if ptp clock is registered in the kernel */
112 	/* PHC may already be registered in case of a reset */  in ena_phc_register()
142 	/* During reset flow, PHC must stay registered  in ena_phc_unregister()
143 	 * to keep kernel's PHC index  in ena_phc_unregister()
154 	/* Allocate driver specific PHC info */  in ena_phc_alloc()
178 	/* Validate PHC feature is supported in the device */  in ena_phc_init()
180 		netdev_dbg(netdev, "PHC feature is not supported by the device\n");  in ena_phc_init()
184 	/* Validate PHC feature is enabled by the kernel */  in ena_phc_init()
186 		netdev_dbg(netdev, "PHC feature is not enabled by the kernel\n");  in ena_phc_init()
190 	/* Initialize device specific PHC info */  in ena_phc_init()
193 		netdev_err(netdev, "Failed to init phc, error: %d\n", rc);  in ena_phc_init()
197 	/* Configure PHC feature in driver and device */  in ena_phc_init()
200 		netdev_err(netdev, "Failed to config phc, error: %d\n", rc);  in ena_phc_init()
207 		netdev_err(netdev, "Failed to register phc, error: %d\n", rc);  in ena_phc_init()