Lines Matching defs:pid
67 read_TLB(int i, uint32 tlb[3], uint8 &pid)
69 //FIXME:read pid too
83 write_TLB(int i, uint32 tlb[3], uint8 pid)
85 //FIXME:write pid too
104 uint8 pid;
105 read_TLB(i, tlb, pid);
107 i, tlb[0], tlb[1], tlb[2], pid);
139 uint8 pid;
144 read_TLB(TLB_COUNT - 1, tlb, pid);
157 read_TLB(i, tlb, pid);
162 write_TLB(i, tlb, pid);
172 pid = 0; // the kernel's PID
176 write_TLB(i, tlb, pid);