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