Symbol: ghcb_mem_read_4
sys/arch/amd64/amd64/sev_bus_space.c
530
return ghcb_mem_read_4(h + o);
sys/arch/amd64/amd64/sev_bus_space.c
560
ptr[i] = ghcb_mem_read_4(h + o);
sys/arch/amd64/amd64/sev_bus_space.c
592
ptr[i] = ghcb_mem_read_4(h + o + 4 * i);
sys/arch/amd64/amd64/sev_bus_space.c
817
ghcb_mem_read_4(addr1 + 4 * i));
sys/arch/amd64/amd64/sev_bus_space.c
821
ghcb_mem_read_4(addr1 + 4 * (i - 1)));