2 lines
58 B
C
2 lines
58 B
C
#include "error.h"
|
|
#include "../../coco/tdx/tdx-shared.c"
|
#include "error.h"
|
|
#include "../../coco/tdx/tdx-shared.c"
|