sev_ghcb_io_write_multi_4
sev_ghcb_io_write_multi_4,
void sev_ghcb_io_write_multi_4(bus_space_handle_t,