Searched refs:PTE_HEADER_FIELDS (Results 1 – 1 of 1) sorted by relevance
28 #define PTE_HEADER_FIELDS "vaddr paddr "\ macro33 #define PTE_HEADER_FIELDS "vaddr paddr size attr\n" macro51 monitor_printf(mon, PTE_HEADER_FIELDS); in print_pte_header()