/* Location of the PRS to be output on GPIO.  */
void prs_set_output_loc(uint32_t loc)
/* Location of the PRS to be output on GPIO.  */
void prs_set_output_loc(uint32_t loc)
{
	PRS_ROUTE = (PRS_ROUTE & ~PRS_ROUTE_LOCATION_MASK) | loc;
}