Symbol: sev_ghcb_io_write_multi_4
sys/arch/amd64/amd64/sev_bus_space.c
130
sev_ghcb_io_write_multi_4,
sys/arch/amd64/amd64/sev_bus_space.c
80
void sev_ghcb_io_write_multi_4(bus_space_handle_t,