27738e15f47f3ccfd0bb8b2f7f69d0630d09c687
[vpp.git] / src / vppinfra / pmalloc.c
1 /*
2  * Copyright (c) 2018 Cisco and/or its affiliates.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at:
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15
16 #define _GNU_SOURCE
17 #include <stdlib.h>
18 #include <sys/types.h>
19 #include <sys/stat.h>
20 #include <fcntl.h>
21 #include <unistd.h>
22 #include <sched.h>
23
24 #include <vppinfra/format.h>
25 #include <vppinfra/linux/sysfs.h>
26 #include <vppinfra/mem.h>
27 #include <vppinfra/hash.h>
28 #include <vppinfra/pmalloc.h>
29 #include <vppinfra/cpu.h>
30
31 #if __SIZEOF_POINTER__ >= 8
32 #define DEFAULT_RESERVED_MB 16384
33 #else
34 #define DEFAULT_RESERVED_MB 256
35 #endif
36
37 static inline clib_pmalloc_chunk_t *
38 get_chunk (clib_pmalloc_page_t * pp, u32 index)
39 {
40   return pool_elt_at_index (pp->chunks, index);
41 }
42
43 static inline uword
44 pmalloc_size2pages (uword size, u32 log2_page_sz)
45 {
46   return round_pow2 (size, 1ULL << log2_page_sz) >> log2_page_sz;
47 }
48
49 __clib_export int
50 clib_pmalloc_init (clib_pmalloc_main_t * pm, uword base_addr, uword size)
51 {
52   uword base, pagesize;
53   u64 *pt = 0;
54
55   ASSERT (pm->error == 0);
56
57   pagesize = clib_mem_get_default_hugepage_size ();
58   pm->def_log2_page_sz = min_log2 (pagesize);
59   pm->lookup_log2_page_sz = pm->def_log2_page_sz;
60
61   /* check if pagemap is accessible */
62   pt = clib_mem_vm_get_paddr (&pt, CLIB_MEM_PAGE_SZ_DEFAULT, 1);
63   if (pt == 0 || pt[0] == 0)
64     pm->flags |= CLIB_PMALLOC_F_NO_PAGEMAP;
65
66   size = size ? size : ((u64) DEFAULT_RESERVED_MB) << 20;
67   size = round_pow2 (size, pagesize);
68
69   pm->max_pages = size >> pm->def_log2_page_sz;
70
71   base = clib_mem_vm_reserve (base_addr, size, pm->def_log2_page_sz);
72
73   if (base == ~0)
74     {
75       pm->error = clib_error_return (0, "failed to reserve %u pages",
76                                      pm->max_pages);
77       return -1;
78     }
79
80   pm->base = uword_to_pointer (base, void *);
81   return 0;
82 }
83
84 static inline void *
85 alloc_chunk_from_page (clib_pmalloc_main_t * pm, clib_pmalloc_page_t * pp,
86                        u32 n_blocks, u32 block_align, u32 numa_node)
87 {
88   clib_pmalloc_chunk_t *c = 0;
89   clib_pmalloc_arena_t *a;
90   void *va;
91   u32 off;
92   u32 alloc_chunk_index;
93
94   a = pool_elt_at_index (pm->arenas, pp->arena_index);
95
96   if (pp->chunks == 0)
97     {
98       u32 i, start = 0, prev = ~0;
99
100       for (i = 0; i < a->subpages_per_page; i++)
101         {
102           pool_get (pp->chunks, c);
103           c->start = start;
104           c->prev = prev;
105           c->size = pp->n_free_blocks / a->subpages_per_page;
106           start += c->size;
107           if (prev == ~0)
108             pp->first_chunk_index = c - pp->chunks;
109           else
110             pp->chunks[prev].next = c - pp->chunks;
111           prev = c - pp->chunks;
112         }
113       c->next = ~0;
114       pp->n_free_chunks = a->subpages_per_page;
115     }
116
117   if (pp->n_free_blocks < n_blocks)
118     return 0;
119
120   alloc_chunk_index = pp->first_chunk_index;
121
122 next_chunk:
123   c = pool_elt_at_index (pp->chunks, alloc_chunk_index);
124   off = (block_align - (c->start & (block_align - 1))) & (block_align - 1);
125
126   if (c->used || n_blocks + off > c->size)
127     {
128       if (c->next == ~0)
129         return 0;
130       alloc_chunk_index = c->next;
131       goto next_chunk;
132     }
133
134   /* if alignment is needed create new empty chunk */
135   if (off)
136     {
137       u32 offset_chunk_index;
138       clib_pmalloc_chunk_t *co;
139       pool_get (pp->chunks, c);
140       pp->n_free_chunks++;
141       offset_chunk_index = alloc_chunk_index;
142       alloc_chunk_index = c - pp->chunks;
143
144       co = pool_elt_at_index (pp->chunks, offset_chunk_index);
145       c->size = co->size - off;
146       c->next = co->next;
147       c->start = co->start + off;
148       c->prev = offset_chunk_index;
149       co->size = off;
150       co->next = alloc_chunk_index;
151     }
152
153   c->used = 1;
154   if (c->size > n_blocks)
155     {
156       u32 tail_chunk_index;
157       clib_pmalloc_chunk_t *ct;
158       pool_get (pp->chunks, ct);
159       pp->n_free_chunks++;
160       tail_chunk_index = ct - pp->chunks;
161       c = pool_elt_at_index (pp->chunks, alloc_chunk_index);
162       ct->size = c->size - n_blocks;
163       ct->next = c->next;
164       ct->prev = alloc_chunk_index;
165       ct->start = c->start + n_blocks;
166
167       c->size = n_blocks;
168       c->next = tail_chunk_index;
169       if (ct->next != ~0)
170         pool_elt_at_index (pp->chunks, ct->next)->prev = tail_chunk_index;
171     }
172   else if (c->next != ~0)
173     pool_elt_at_index (pp->chunks, c->next)->prev = alloc_chunk_index;
174
175   c = get_chunk (pp, alloc_chunk_index);
176   va = pm->base + ((pp - pm->pages) << pm->def_log2_page_sz) +
177     (c->start << PMALLOC_LOG2_BLOCK_SZ);
178   hash_set (pm->chunk_index_by_va, pointer_to_uword (va), alloc_chunk_index);
179   pp->n_free_blocks -= n_blocks;
180   pp->n_free_chunks--;
181   return va;
182 }
183
184 static void
185 pmalloc_update_lookup_table (clib_pmalloc_main_t * pm, u32 first, u32 count)
186 {
187   uword seek, va, pa, p;
188   int fd;
189   u32 elts_per_page = 1U << (pm->def_log2_page_sz - pm->lookup_log2_page_sz);
190
191   vec_validate_aligned (pm->lookup_table, vec_len (pm->pages) *
192                         elts_per_page - 1, CLIB_CACHE_LINE_BYTES);
193
194   p = (uword) first *elts_per_page;
195   if (pm->flags & CLIB_PMALLOC_F_NO_PAGEMAP)
196     {
197       while (p < (uword) elts_per_page * count)
198         {
199           pm->lookup_table[p] = pointer_to_uword (pm->base) +
200             (p << pm->lookup_log2_page_sz);
201           p++;
202         }
203       return;
204     }
205
206   fd = open ((char *) "/proc/self/pagemap", O_RDONLY);
207   while (p < (uword) elts_per_page * count)
208     {
209       va = pointer_to_uword (pm->base) + (p << pm->lookup_log2_page_sz);
210       pa = 0;
211       seek = (va >> clib_mem_get_log2_page_size ()) * sizeof (pa);
212       if (fd != -1 && lseek (fd, seek, SEEK_SET) == seek &&
213           read (fd, &pa, sizeof (pa)) == (sizeof (pa)) &&
214           pa & (1ULL << 63) /* page present bit */ )
215         {
216           pa = (pa & pow2_mask (55)) << clib_mem_get_log2_page_size ();
217         }
218       pm->lookup_table[p] = va - pa;
219       p++;
220     }
221
222   if (fd != -1)
223     close (fd);
224 }
225
226 static inline clib_pmalloc_page_t *
227 pmalloc_map_pages (clib_pmalloc_main_t * pm, clib_pmalloc_arena_t * a,
228                    u32 numa_node, u32 n_pages)
229 {
230   clib_mem_page_stats_t stats = {};
231   clib_pmalloc_page_t *pp = 0;
232   int rv, i, mmap_flags;
233   void *va = MAP_FAILED;
234   uword size = (uword) n_pages << pm->def_log2_page_sz;
235
236   clib_error_free (pm->error);
237
238   if (pm->max_pages <= vec_len (pm->pages))
239     {
240       pm->error = clib_error_return (0, "maximum number of pages reached");
241       return 0;
242     }
243
244   if (a->log2_subpage_sz != clib_mem_get_log2_page_size ())
245     {
246       pm->error = clib_sysfs_prealloc_hugepages (numa_node,
247                                                  a->log2_subpage_sz, n_pages);
248
249       if (pm->error)
250         return 0;
251     }
252
253   rv = clib_mem_set_numa_affinity (numa_node, /* force */ 1);
254   if (rv == CLIB_MEM_ERROR && numa_node != 0)
255     {
256       pm->error = clib_error_return_unix (0, "failed to set mempolicy for "
257                                           "numa node %u", numa_node);
258       return 0;
259     }
260
261   mmap_flags = MAP_FIXED;
262
263   if (a->flags & CLIB_PMALLOC_ARENA_F_SHARED_MEM)
264     {
265       mmap_flags |= MAP_SHARED;
266       a->fd = clib_mem_vm_create_fd (a->log2_subpage_sz, "%s", a->name);
267       if (a->fd == -1)
268         goto error;
269       if ((ftruncate (a->fd, size)) == -1)
270         goto error;
271     }
272   else
273     {
274       if (a->log2_subpage_sz != clib_mem_get_log2_page_size ())
275         mmap_flags |= MAP_HUGETLB;
276
277       mmap_flags |= MAP_PRIVATE | MAP_ANONYMOUS;
278       a->fd = -1;
279     }
280
281   va = pm->base + (((uword) vec_len (pm->pages)) << pm->def_log2_page_sz);
282   if (mmap (va, size, PROT_READ | PROT_WRITE, mmap_flags, a->fd, 0) ==
283       MAP_FAILED)
284     {
285       pm->error = clib_error_return_unix (0, "failed to mmap %u pages at %p "
286                                           "fd %d numa %d flags 0x%x", n_pages,
287                                           va, a->fd, numa_node, mmap_flags);
288       va = MAP_FAILED;
289       goto error;
290     }
291
292   if (a->log2_subpage_sz != clib_mem_get_log2_page_size () &&
293       mlock (va, size) != 0)
294     {
295       pm->error = clib_error_return_unix (0, "Unable to lock pages");
296       goto error;
297     }
298
299   clib_memset (va, 0, size);
300
301   rv = clib_mem_set_default_numa_affinity ();
302   if (rv == CLIB_MEM_ERROR && numa_node != 0)
303     {
304       pm->error = clib_error_return_unix (0, "failed to restore mempolicy");
305       goto error;
306     }
307
308   /* we tolerate move_pages failure only if request os for numa node 0
309      to support non-numa kernels */
310   clib_mem_get_page_stats (va, CLIB_MEM_PAGE_SZ_DEFAULT, 1, &stats);
311
312   if (stats.per_numa[numa_node] != 1)
313     {
314       u16 allocated_at = ~0;
315       if (stats.unknown)
316         clib_error_return (0,
317                            "unable to get information about numa allocation");
318
319       for (u16 i = 0; i < CLIB_MAX_NUMAS; i++)
320         if (stats.per_numa[i] == 1)
321           allocated_at = i;
322
323       clib_error_return (0,
324                          "page allocated on the wrong numa node (%u), "
325                          "expected %u",
326                          allocated_at, numa_node);
327
328       goto error;
329     }
330
331   for (i = 0; i < n_pages; i++)
332     {
333       vec_add2 (pm->pages, pp, 1);
334       pp->n_free_blocks = 1 << (pm->def_log2_page_sz - PMALLOC_LOG2_BLOCK_SZ);
335       pp->index = pp - pm->pages;
336       pp->arena_index = a->index;
337       vec_add1 (a->page_indices, pp->index);
338       a->n_pages++;
339     }
340
341
342   /* if new arena is using smaller page size, we need to rebuild whole
343      lookup table */
344   if (a->log2_subpage_sz < pm->lookup_log2_page_sz)
345     {
346       pm->lookup_log2_page_sz = a->log2_subpage_sz;
347       pmalloc_update_lookup_table (pm, vec_len (pm->pages) - n_pages,
348                                    n_pages);
349     }
350   else
351     pmalloc_update_lookup_table (pm, 0, vec_len (pm->pages));
352
353   /* return pointer to 1st page */
354   return pp - (n_pages - 1);
355
356 error:
357   if (va != MAP_FAILED)
358     {
359       /* unmap & reserve */
360       munmap (va, size);
361       mmap (va, size, PROT_NONE, MAP_FIXED | MAP_PRIVATE | MAP_ANONYMOUS,
362             -1, 0);
363     }
364   if (a->fd != -1)
365     close (a->fd);
366   return 0;
367 }
368
369 __clib_export void *
370 clib_pmalloc_create_shared_arena (clib_pmalloc_main_t * pm, char *name,
371                                   uword size, u32 log2_page_sz, u32 numa_node)
372 {
373   clib_pmalloc_arena_t *a;
374   clib_pmalloc_page_t *pp;
375   u32 n_pages;
376
377   clib_error_free (pm->error);
378
379   if (log2_page_sz == 0)
380     log2_page_sz = pm->def_log2_page_sz;
381   else if (log2_page_sz != pm->def_log2_page_sz &&
382            log2_page_sz != clib_mem_get_log2_page_size ())
383     {
384       pm->error = clib_error_create ("unsupported page size (%uKB)",
385                                      1 << (log2_page_sz - 10));
386       return 0;
387     }
388
389   n_pages = pmalloc_size2pages (size, pm->def_log2_page_sz);
390
391   if (n_pages + vec_len (pm->pages) > pm->max_pages)
392     return 0;
393
394   if (numa_node == CLIB_PMALLOC_NUMA_LOCAL)
395     numa_node = clib_get_current_numa_node ();
396
397   pool_get (pm->arenas, a);
398   a->index = a - pm->arenas;
399   a->name = format (0, "%s%c", name, 0);
400   a->numa_node = numa_node;
401   a->flags = CLIB_PMALLOC_ARENA_F_SHARED_MEM;
402   a->log2_subpage_sz = log2_page_sz;
403   a->subpages_per_page = 1U << (pm->def_log2_page_sz - log2_page_sz);
404
405   if ((pp = pmalloc_map_pages (pm, a, numa_node, n_pages)) == 0)
406     {
407       vec_free (a->name);
408       memset (a, 0, sizeof (*a));
409       pool_put (pm->arenas, a);
410       return 0;
411     }
412
413   return pm->base + ((uword) pp->index << pm->def_log2_page_sz);
414 }
415
416 static inline void *
417 clib_pmalloc_alloc_inline (clib_pmalloc_main_t * pm, clib_pmalloc_arena_t * a,
418                            uword size, uword align, u32 numa_node)
419 {
420   clib_pmalloc_page_t *pp;
421   u32 n_blocks, block_align, *page_index;
422
423   ASSERT (is_pow2 (align));
424
425   if (numa_node == CLIB_PMALLOC_NUMA_LOCAL)
426     numa_node = clib_get_current_numa_node ();
427
428   if (a == 0)
429     {
430       if (size > 1ULL << pm->def_log2_page_sz)
431         return 0;
432
433       vec_validate_init_empty (pm->default_arena_for_numa_node,
434                                numa_node, ~0);
435       if (pm->default_arena_for_numa_node[numa_node] == ~0)
436         {
437           pool_get (pm->arenas, a);
438           pm->default_arena_for_numa_node[numa_node] = a - pm->arenas;
439           a->name = format (0, "default-numa-%u%c", numa_node, 0);
440           a->numa_node = numa_node;
441           a->log2_subpage_sz = pm->def_log2_page_sz;
442           a->subpages_per_page = 1;
443         }
444       else
445         a = pool_elt_at_index (pm->arenas,
446                                pm->default_arena_for_numa_node[numa_node]);
447     }
448   else if (size > 1ULL << a->log2_subpage_sz)
449     return 0;
450
451   n_blocks = round_pow2 (size, PMALLOC_BLOCK_SZ) / PMALLOC_BLOCK_SZ;
452   block_align = align >> PMALLOC_LOG2_BLOCK_SZ;
453
454   vec_foreach (page_index, a->page_indices)
455   {
456     pp = vec_elt_at_index (pm->pages, *page_index);
457     void *rv = alloc_chunk_from_page (pm, pp, n_blocks, block_align,
458                                       numa_node);
459
460     if (rv)
461       return rv;
462   }
463
464   if ((a->flags & CLIB_PMALLOC_ARENA_F_SHARED_MEM) == 0 &&
465       (pp = pmalloc_map_pages (pm, a, numa_node, 1)))
466     return alloc_chunk_from_page (pm, pp, n_blocks, block_align, numa_node);
467
468   return 0;
469 }
470
471 __clib_export void *
472 clib_pmalloc_alloc_aligned_on_numa (clib_pmalloc_main_t * pm, uword size,
473                                     uword align, u32 numa_node)
474 {
475   return clib_pmalloc_alloc_inline (pm, 0, size, align, numa_node);
476 }
477
478 void *
479 clib_pmalloc_alloc_aligned (clib_pmalloc_main_t * pm, uword size, uword align)
480 {
481   return clib_pmalloc_alloc_inline (pm, 0, size, align,
482                                     CLIB_PMALLOC_NUMA_LOCAL);
483 }
484
485 void *
486 clib_pmalloc_alloc_from_arena (clib_pmalloc_main_t * pm, void *arena_va,
487                                uword size, uword align)
488 {
489   clib_pmalloc_arena_t *a = clib_pmalloc_get_arena (pm, arena_va);
490   return clib_pmalloc_alloc_inline (pm, a, size, align, 0);
491 }
492
493 static inline int
494 pmalloc_chunks_mergeable (clib_pmalloc_arena_t * a, clib_pmalloc_page_t * pp,
495                           u32 ci1, u32 ci2)
496 {
497   clib_pmalloc_chunk_t *c1, *c2;
498
499   if (ci1 == ~0 || ci2 == ~0)
500     return 0;
501
502   c1 = get_chunk (pp, ci1);
503   c2 = get_chunk (pp, ci2);
504
505   if (c1->used || c2->used)
506     return 0;
507
508   if (c1->start >> (a->log2_subpage_sz - PMALLOC_LOG2_BLOCK_SZ) !=
509       c2->start >> (a->log2_subpage_sz - PMALLOC_LOG2_BLOCK_SZ))
510     return 0;
511
512   return 1;
513 }
514
515 __clib_export void
516 clib_pmalloc_free (clib_pmalloc_main_t * pm, void *va)
517 {
518   clib_pmalloc_page_t *pp;
519   clib_pmalloc_chunk_t *c;
520   clib_pmalloc_arena_t *a;
521   uword *p;
522   u32 chunk_index, page_index;
523
524   p = hash_get (pm->chunk_index_by_va, pointer_to_uword (va));
525
526   if (p == 0)
527     os_panic ();
528
529   chunk_index = p[0];
530   page_index = clib_pmalloc_get_page_index (pm, va);
531   hash_unset (pm->chunk_index_by_va, pointer_to_uword (va));
532
533   pp = vec_elt_at_index (pm->pages, page_index);
534   c = pool_elt_at_index (pp->chunks, chunk_index);
535   a = pool_elt_at_index (pm->arenas, pp->arena_index);
536   c->used = 0;
537   pp->n_free_blocks += c->size;
538   pp->n_free_chunks++;
539
540   /* merge with next if free */
541   if (pmalloc_chunks_mergeable (a, pp, chunk_index, c->next))
542     {
543       clib_pmalloc_chunk_t *next = get_chunk (pp, c->next);
544       c->size += next->size;
545       c->next = next->next;
546       if (next->next != ~0)
547         get_chunk (pp, next->next)->prev = chunk_index;
548       memset (next, 0, sizeof (*next));
549       pool_put (pp->chunks, next);
550       pp->n_free_chunks--;
551     }
552
553   /* merge with prev if free */
554   if (pmalloc_chunks_mergeable (a, pp, c->prev, chunk_index))
555     {
556       clib_pmalloc_chunk_t *prev = get_chunk (pp, c->prev);
557       prev->size += c->size;
558       prev->next = c->next;
559       if (c->next != ~0)
560         get_chunk (pp, c->next)->prev = c->prev;
561       memset (c, 0, sizeof (*c));
562       pool_put (pp->chunks, c);
563       pp->n_free_chunks--;
564     }
565 }
566
567 static u8 *
568 format_pmalloc_page (u8 * s, va_list * va)
569 {
570   clib_pmalloc_page_t *pp = va_arg (*va, clib_pmalloc_page_t *);
571   int verbose = va_arg (*va, int);
572   u32 indent = format_get_indent (s);
573
574   if (pp->chunks == 0)
575     return s;
576
577   s = format (s, "free %u chunks %u free-chunks %d ",
578               (pp->n_free_blocks) << PMALLOC_LOG2_BLOCK_SZ,
579               pool_elts (pp->chunks), pp->n_free_chunks);
580
581   if (verbose >= 2)
582     {
583       clib_pmalloc_chunk_t *c;
584       c = pool_elt_at_index (pp->chunks, pp->first_chunk_index);
585       s = format (s, "\n%U%12s%12s%8s%8s%8s%8s",
586                   format_white_space, indent + 2,
587                   "chunk offset", "size", "used", "index", "prev", "next");
588       while (1)
589         {
590           s = format (s, "\n%U%12u%12u%8s%8d%8d%8d",
591                       format_white_space, indent + 2,
592                       c->start << PMALLOC_LOG2_BLOCK_SZ,
593                       c->size << PMALLOC_LOG2_BLOCK_SZ,
594                       c->used ? "yes" : "no",
595                       c - pp->chunks, c->prev, c->next);
596           if (c->next == ~0)
597             break;
598           c = pool_elt_at_index (pp->chunks, c->next);
599         }
600     }
601   return s;
602 }
603
604 __clib_export u8 *
605 format_pmalloc (u8 * s, va_list * va)
606 {
607   clib_pmalloc_main_t *pm = va_arg (*va, clib_pmalloc_main_t *);
608   int verbose = va_arg (*va, int);
609   u32 indent = format_get_indent (s);
610
611   clib_pmalloc_page_t *pp;
612   clib_pmalloc_arena_t *a;
613
614   s = format (s, "used-pages %u reserved-pages %u default-page-size %U "
615               "lookup-page-size %U%s", vec_len (pm->pages), pm->max_pages,
616               format_log2_page_size, pm->def_log2_page_sz,
617               format_log2_page_size, pm->lookup_log2_page_sz,
618               pm->flags & CLIB_PMALLOC_F_NO_PAGEMAP ? " no-pagemap" : "");
619
620
621   if (verbose >= 2)
622     s = format (s, " va-start %p", pm->base);
623
624   if (pm->error)
625     s = format (s, "\n%Ulast-error: %U", format_white_space, indent + 2,
626                 format_clib_error, pm->error);
627
628
629   /* *INDENT-OFF* */
630   pool_foreach (a, pm->arenas)
631     {
632       u32 *page_index;
633       s = format (s, "\n%Uarena '%s' pages %u subpage-size %U numa-node %u",
634                   format_white_space, indent + 2, a->name,
635                   vec_len (a->page_indices), format_log2_page_size,
636                   a->log2_subpage_sz, a->numa_node);
637       if (a->fd != -1)
638         s = format (s, " shared fd %d", a->fd);
639       if (verbose >= 1)
640         vec_foreach (page_index, a->page_indices)
641           {
642             pp = vec_elt_at_index (pm->pages, *page_index);
643             s = format (s, "\n%U%U", format_white_space, indent + 4,
644                         format_pmalloc_page, pp, verbose);
645           }
646     }
647   /* *INDENT-ON* */
648
649   return s;
650 }
651
652 __clib_export u8 *
653 format_pmalloc_map (u8 * s, va_list * va)
654 {
655   clib_pmalloc_main_t *pm = va_arg (*va, clib_pmalloc_main_t *);
656
657   u32 index;
658   s = format (s, "%16s %13s %8s", "virtual-addr", "physical-addr", "size");
659   vec_foreach_index (index, pm->lookup_table)
660   {
661     uword *lookup_val, pa, va;
662     lookup_val = vec_elt_at_index (pm->lookup_table, index);
663     va =
664       pointer_to_uword (pm->base) +
665       ((uword) index << pm->lookup_log2_page_sz);
666     pa = va - *lookup_val;
667     s =
668       format (s, "\n %16p %13p %8U", uword_to_pointer (va, u64),
669               uword_to_pointer (pa, u64), format_log2_page_size,
670               pm->lookup_log2_page_sz);
671   }
672   return s;
673 }
674
675 /*
676  * fd.io coding-style-patch-verification: ON
677  *
678  * Local Variables:
679  * eval: (c-set-style "gnu")
680  * End:
681  */