pt_badva
DEST.badva = pt_badva(REGS); \
membuf_store(&to, pt_badva(regs)); // badva
tmp = pt_badva(regs); err |= __put_user(tmp, &sc->sc_regs.badva);
pt_badva(regs));
pt_psp(regs), pt_badva(regs), ints_enabled(regs));
unsigned long badvadr = pt_badva(regs);
unsigned long badvadr = pt_badva(regs);
unsigned long badvadr = pt_badva(regs);