Symbol: sev_ghcb_io_read_2
sys/arch/amd64/amd64/sev_bus_space.c
113
sev_ghcb_io_read_2,
sys/arch/amd64/amd64/sev_bus_space.c
52
uint16_t sev_ghcb_io_read_2(bus_space_handle_t, bus_size_t);