Sign in
cos
/
third_party
/
kernel
/
0cc4d03c09c236ad60ba52d0c5143ca0e5fcb50d
/
.
/
arch
/
x86
/
boot
/
compressed
/
tdcall.S
blob: 46d0495e0d3aacfc4e16c832e6b45be5197cc56d [
file
] [
log
] [
blame
]
/*
SPDX
-
License
-
Identifier
:
GPL
-2.0
*/
#include "../../coco/tdx/tdcall.S"
