h_gpci_get_value
u64 now = h_gpci_get_value(event);
local64_set(&event->hw.prev_count, h_gpci_get_value(event));