register64_t
register64_t pte_hi;
register64_t pte_lo;
extern void mfmsr64 (register64_t *result);
register64_t val[2];
register64_t l[MAXARGS];
register64_t *argp;