sev_ghcb_io_set_region_1
sev_ghcb_io_set_region_1,
void sev_ghcb_io_set_region_1(bus_space_handle_t, bus_size_t,