Searched defs:md_upte (Results 1 – 1 of 1) sorted by relevance
54 uint64_t md_upte[KSTACK_PAGES]; /* ptes for mapping u pcb */ member56 int md_upte[KSTACK_PAGES]; member