| 631 | } |
| 632 | |
| 633 | unsigned long get_free_page(void) |
| 634 | { |
| 635 | return (unsigned long) (__init_page_array[__page_off++].page); |
| 636 | } |
| 637 | |
| 638 | static int _map_single_page_2M(unsigned long *lv0_tbl, unsigned long va, |
| 639 | unsigned long pa, unsigned long attr, |
no outgoing calls
no test coverage detected