sev_ghcb_io_write_multi_1
sev_ghcb_io_write_multi_1,
void sev_ghcb_io_write_multi_1(bus_space_handle_t,