Sign in
gbmc
/
linux
/
de6dff2090ddfa74ae53e3e52243a9b9f3ff8526
/
.
/
arch
/
x86
/
boot
/
compressed
/
tdcall.S
blob: 46d0495e0d3aacfc4e16c832e6b45be5197cc56d [
file
] [
log
] [
blame
]
/*
SPDX
-
License
-
Identifier
:
GPL
-2.0
*/
#include "../../coco/tdx/tdcall.S"
