1#include "error.h"
2#include "../../coco/tdx/tdx-shared.c"
3

source code of linux/arch/x86/boot/compressed/tdx-shared.c