linux/arch/x86/boot/io.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef BOOT_IO_H
#define BOOT_IO_H

#include <asm/shared/io.h>

#undef inb
#undef inw
#undef inl
#undef outb
#undef outw
#undef outl

struct port_io_ops { … };

extern struct port_io_ops pio_ops;

/*
 * Use the normal I/O instructions by default.
 * TDX guests override these to use hypercalls.
 */
static inline void init_default_io_ops(void)
{ … }

/*
 * Redirect port I/O operations via pio_ops callbacks.
 * TDX guests override these callbacks with TDX-specific helpers.
 */
#define inb …
#define outb …
#define outw …

#endif