PUFFS_KFLAG_WTCACHE
} else if (error == 0 && pmp->pmp_flags & PUFFS_KFLAG_WTCACHE) {
pflags |= PUFFS_KFLAG_WTCACHE;
pflags |= PUFFS_KFLAG_WTCACHE | PUFFS_KFLAG_IAONDEMAND;
pflags |= PUFFS_KFLAG_WTCACHE | PUFFS_KFLAG_IAONDEMAND;
sizeof(args), PUFFS_KFLAG_WTCACHE);