-/**
- * @brief Read a 64-bit register value
- *
- * @param[in] osdev platform device object
- * @param[in] addr register addr
- *
- * @return A 64-bit register value.
- */
-#define adf_os_reg_read64(osdev, addr) __adf_os_reg_read64(osdev, addr)
-
-/**
- * @brief Write an 8-bit value into register
- *
- * @param[in] osdev platform device object
- * @param[in] addr register addr
- * @param[in] b the 8-bit value to be written
- */
-#define adf_os_reg_write8(osdev, addr, b) __adf_os_reg_write8(osdev, addr, b)
-
-/**
- * @brief Write a 16-bit value into register
- *
- * @param[in] osdev platform device object
- * @param[in] addr register addr
- * @param[in] w the 16-bit value to be written
- */
-#define adf_os_reg_write16(osdev, addr, w) __adf_os_reg_write16(osdev, addr, w)
-