bti_dup_range
rangeset_init(pmap->pm_bti, bti_dup_range,
static void *bti_dup_range(void *ctx, void *data);