Open Menu / arch / x86 / boot / compressed / tdcall.S 
1
2
3
/* SPDX-License-Identifier: GPL-2.0 */

#include "../../coco/tdx/tdcall.S"