219 	u64 num_of_hop3, total_hops, hop0_addr, hop1_addr, hop2_addr,  in dram_default_mapping_init()  local
241 	hop1_addr = alloc_hop(ctx);  in dram_default_mapping_init()
242 	if (hop1_addr == ULLONG_MAX) {  in dram_default_mapping_init()
248 	ctx->dram_default_hops[total_hops - 1] = hop1_addr;  in dram_default_mapping_init()
270 	pte_val = (hop1_addr & HOP_PHYS_ADDR_MASK) | PAGE_PRESENT_MASK;  in dram_default_mapping_init()
274 	write_pte(ctx, hop1_addr, pte_val);  in dram_default_mapping_init()
275 	get_pte(ctx, hop1_addr);  in dram_default_mapping_init()
308 	free_hop(ctx, hop1_addr);  in dram_default_mapping_init()
319 	u64 num_of_hop3, total_hops, hop0_addr, hop1_addr, hop2_addr,  in dram_default_mapping_fini()  local
335 	hop1_addr = ctx->dram_default_hops[total_hops - 1];  in dram_default_mapping_fini()
354 	clear_pte(ctx, hop1_addr);  in dram_default_mapping_fini()
355 	put_pte(ctx, hop1_addr);  in dram_default_mapping_fini()