Searched defs:pte64 (Results 1 – 2 of 2) sorted by relevance
80 struct pte64 { struct81 uint32_t pte64_0_31; argument82 uint32_t pte64_32_64; argument
699 uint64_t tsc, addr64, rip64, val64, pte64; in xdt_process_rec() local