src/rp2040/hardware_structs/include/hardware/structs/bus_ctrl.h - third_party/github/raspberrypi/pico-sdk - Git at Google

 /**
  * Copyright (c) 2024 Raspberry Pi Ltd.
  *
  * SPDX-License-Identifier: BSD-3-Clause
  */

 // Support old header for compatibility (and if included, support old variable name)
 #include "hardware/structs/busctrl.h"
 #define bus_ctrl_hw busctrl_hw
	/**
	* Copyright (c) 2024 Raspberry Pi Ltd.
	*
	* SPDX-License-Identifier: BSD-3-Clause
	*/

	// Support old header for compatibility (and if included, support old variable name)
	#include "hardware/structs/busctrl.h"
	#define bus_ctrl_hw busctrl_hw