Loading...
Note: File does not exist in v3.15.
1/* SPDX-License-Identifier: GPL-2.0 */
2
3#include "../../coco/tdx/tdcall.S"
1/* SPDX-License-Identifier: GPL-2.0 */
2
3#include "../../coco/tdx/tdcall.S"