Symbol: sev_ghcb_mem_read_4
sys/arch/amd64/amd64/sev_bus_space.c
154
uint32_t sev_ghcb_mem_read_4(bus_space_handle_t, bus_size_t);
sys/arch/amd64/amd64/sev_bus_space.c
232
sev_ghcb_mem_read_4,