Or, do we expect the first folks who expose a movdir64b-using driver to
TDX to go and update this code?
Also, the sev_key_active() stuff in there makes me nervous. Does this
scheme work with these:
static inline void outs##bwl(int port, const void *addr, unsigned long count) \?
static inline void ins##bwl(int port, void *addr, unsigned long count) \