HAT_SYNC_ZERORM
(char *)(pmp + 1), HAT_SYNC_ZERORM);
(char *)(pmp + 1), HAT_SYNC_ZERORM);
(char *)(pmp + 1), HAT_SYNC_ZERORM);
(char *)(pmp + 1), HAT_SYNC_ZERORM);
pagesync_flag = HAT_SYNC_ZERORM;
(void) hat_pagesync(pp, HAT_SYNC_ZERORM);
if (flags == HAT_SYNC_ZERORM) {
if ((flags & HAT_SYNC_ZERORM) == 0) {
if ((flags & HAT_SYNC_ZERORM) != 0) {
if (!(flags & HAT_SYNC_ZERORM) &&
(clearflag == HAT_SYNC_ZERORM));
if (clearflag == HAT_SYNC_ZERORM) {
if ((clearflag & HAT_SYNC_ZERORM) == 0) {
(clearflag == HAT_SYNC_ZERORM));
if (clearflag == HAT_SYNC_ZERORM) {