Searched refs:init_boot_pages (Results 1 – 5 of 5) sorted by relevance
/xen/xen/drivers/acpi/ |
A D | osl.c | 247 init_boot_pages(__pa(ptr), __pa(ptr) + PAGE_SIZE); in acpi_os_free_memory()
|
/xen/xen/arch/arm/ |
A D | setup.c | 703 dt_unreserved_regions(s, e, init_boot_pages, 0); in setup_mm() 756 dt_unreserved_regions(s, e, init_boot_pages, 0); in setup_mm()
|
/xen/xen/arch/x86/ |
A D | setup.c | 1493 init_boot_pages(s, min(map_s, e)); in __start_xen() 1501 init_boot_pages(map_s, map_e); in __start_xen() 1517 init_boot_pages(map_e, end); in __start_xen() 1532 init_boot_pages(s, map_s); in __start_xen()
|
/xen/xen/include/xen/ |
A D | mm.h | 158 void init_boot_pages(paddr_t ps, paddr_t pe);
|
/xen/xen/common/ |
A D | page_alloc.c | 314 void __init init_boot_pages(paddr_t ps, paddr_t pe) in init_boot_pages() function
|
Completed in 13 milliseconds