PUFFS_KFLAG_IAONDEMAND
uint32_t pflags = PUFFS_KFLAG_IAONDEMAND;
if (pmp->pmp_flags & PUFFS_KFLAG_IAONDEMAND)
pflags = PUFFS_KFLAG_IAONDEMAND;
pflags &= ~PUFFS_KFLAG_IAONDEMAND;
pflags |= PUFFS_KFLAG_WTCACHE | PUFFS_KFLAG_IAONDEMAND;
pflags |= PUFFS_KFLAG_WTCACHE | PUFFS_KFLAG_IAONDEMAND;