Searched refs:pte32 (Results 1 – 2 of 2) sorted by relevance
540 x86pte32_t *pte32 = (x86pte32_t *)&buf; in get_pte() local558 return (*pte32); in get_pte()729 x86pte32_t *pte32 = (x86pte32_t *)&buf; in do_report_maps() local806 pte = *pte32; in do_report_maps()870 x86pte32_t *pte32 = (x86pte32_t *)&buf; in do_ptable_dcmd() local934 pte = *pte32; in do_ptable_dcmd()
48 typedef struct pte32 { struct