// SPDX-License-Identifier: GPL-2.0-only /* * Copyright (C) 2017 Chelsio Communications. All rights reserved. */ #include "cxgb4.h" #include "cudbg_if.h" #include "cudbg_lib_common.h" int cudbg_get_buff(struct cudbg_init *pdbg_init, struct cudbg_buffer *pdbg_buff, u32 size, struct cudbg_buffer *pin_buff) { … } void cudbg_put_buff(struct cudbg_init *pdbg_init, struct cudbg_buffer *pin_buff) { … } void cudbg_update_buff(struct cudbg_buffer *pin_buff, struct cudbg_buffer *pout_buff) { … }