Searched refs:base_controlled_vaddr (Results 1 – 1 of 1) sorted by relevance
207 int dump_table(unsigned long table_vaddr, unsigned long base_controlled_vaddr, in dump_table() argument216 __func__, base_controlled_vaddr, bde_vaddr); in dump_table()255 base_controlled_vaddr + bt_entry_index*bt_entry_controls; in dump_table()269 printf("base_controlled_vaddr: %016lx\n", base_controlled_vaddr); in dump_table()