Searched refs:tdx_io_out (Results 1 – 1 of 1) sorted by relevance
35 static inline void tdx_io_out(int size, u16 port, u32 value) in tdx_io_out() function56 tdx_io_out(1, port, value); in tdx_outb()61 tdx_io_out(2, port, value); in tdx_outw()