Symbol: ghcb_io_read_4
sys/arch/amd64/amd64/sev_bus_space.c
285
return ghcb_io_read_4(h + o);
sys/arch/amd64/amd64/sev_bus_space.c
309
ptr[i] = ghcb_io_read_4(h + o);
sys/arch/amd64/amd64/sev_bus_space.c
333
ptr[i] = ghcb_io_read_4(h + o + 4 * i);
sys/arch/amd64/amd64/sev_bus_space.c
507
ghcb_io_read_4(addr1 + 4 * i));
sys/arch/amd64/amd64/sev_bus_space.c
511
ghcb_io_read_4(addr1 + 4 * (i - 1)));