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