tdcall
static inline void tdcall(u64 fn, struct tdx_module_args *args)
#define tdcall .byte 0x66,0x0f,0x01,0xcc