Searched refs:print_pte (Results 1 – 1 of 1) sorted by relevance
1227 static void print_pte(Monitor *mon, uint32_t addr, uint32_t pte, uint32_t mask) in print_pte() function1262 print_pte(mon, (l1 << 22), pde, ~((1 << 20) - 1)); in tlb_info()1269 print_pte(mon, (l1 << 22) + (l2 << 12), in tlb_info()