Symbol: sev_ghcb_mem_write_region_4
sys/arch/amd64/amd64/sev_bus_space.c
197
void sev_ghcb_mem_write_region_4(bus_space_handle_t,
sys/arch/amd64/amd64/sev_bus_space.c
252
sev_ghcb_mem_write_region_4,