Symbol: sev_ghcb_io_read_region_1
sys/arch/amd64/amd64/sev_bus_space.c
120
sev_ghcb_io_read_region_1,
sys/arch/amd64/amd64/sev_bus_space.c
62
void sev_ghcb_io_read_region_1(bus_space_handle_t, bus_size_t,