PV_LOCK_COUNT
for (i = 0; i < PV_LOCK_COUNT; i++)
static struct rwlock __exclusive_cache_line pv_lock[PV_LOCK_COUNT];
#define PV_LOCK_IDX(pa) ((pa_index(pa) * (((pa) >> 45) + 1)) % PV_LOCK_COUNT)
#define PV_LOCK_IDX(pa) (pa_index(pa) % PV_LOCK_COUNT)