Symbol: tdx_io_out
arch/x86/boot/compressed/tdx.c
56
tdx_io_out(1, port, value);
arch/x86/boot/compressed/tdx.c
61
tdx_io_out(2, port, value);