Lines Matching refs:uint64_t

17 extern void switchstack(uint64_t *oldrsp, uint64_t rsp);
30     uint64_t stacktop = thr->kstack + PGSIZE;
36     thr->arch.rsp = (uint64_t)sf;
43     sf->rip = (uint64_t)&ThreadKThreadEntry;
44     sf->rdi = (uint64_t)tf;
50     tf->rip = (uint64_t)f;
51     tf->rdi = (uint64_t)arg1;
52     tf->rsi = (uint64_t)arg2;
53     tf->rdx = (uint64_t)arg3;
64     tf.rip = (uint64_t)arg1;
66     tf.rsp = (uint64_t)arg2 + MEM_USERSPACE_STKLEN - PGSIZE;
69     tf.rdi = (uint64_t)arg3; /* Userspace Argument */