pkru_dup_range
rangeset_init(&kernel_pmap->pm_pkru, pkru_dup_range,
rangeset_init(&pmap->pm_pkru, pkru_dup_range,
static void *pkru_dup_range(void *ctx, void *data);