4 lines
75 B
ArmAsm
4 lines
75 B
ArmAsm
/* SPDX-License-Identifier: GPL-2.0 */
|
|
|
|
#include "../../coco/tdx/tdcall.S"
|
/* SPDX-License-Identifier: GPL-2.0 */
|
|
|
|
#include "../../coco/tdx/tdcall.S"
|