updwtmpx
(void) updwtmpx(WTMPX_FILE, utmpx);
updwtmpx(WTMPX_FILE, &ut);
updwtmpx(WTMPX_FILE, &ut);
updwtmpx("/var/adm/wtmpx", &utmpx);
updwtmpx("wtmpx", up);
updwtmpx("wtmpx", up);
(void) updwtmpx(WTMPX_FILE, &wtmpx[0]);
(void) updwtmpx(WTMPX_FILE, &wtmpx[1]);
(void) updwtmpx(WTMPX_FILE, &wtmpx);
updwtmpx(WTMPX, u);
updwtmpx(WTMPX, up);
updwtmpx(WTMPX_FILE, &utmpx);
updwtmpx(WTMPX_FILE, &ut);
updwtmpx("wtmpx", up);
updwtmpx(WTMPX_FILE, &ut);
updwtmpx(WTMPX_FILE, up);
updwtmpx(WTMPX_FILE, &u);
updwtmpx(WTMPX_FILE, &u);
updwtmpx("wtmpx", up);
updwtmpx("/etc/wtmpx", u);
updwtmpx(WTMPX_FILE, u);
extern void updwtmpx(const char *, struct utmpx *);
updwtmpx(WTMPX_FILE, (struct utmpx *)utmp);
updwtmpx(WTMPX_FILE, (struct utmpx *)utmp);
updwtmpx(WTMPX_FILE, utp);
updwtmpx((const char *)&xfile, &utmpx);
updwtmpx(WTMPX_FILE, up);