Symbol: sev_ghcb_io_write_region_2
sys/arch/amd64/amd64/sev_bus_space.c
133
sev_ghcb_io_write_region_2,
sys/arch/amd64/amd64/sev_bus_space.c
85
void sev_ghcb_io_write_region_2(bus_space_handle_t,