Searched refs:xen_reserve_special_pages (Results 1 - 3 of 3) sorted by relevance

/linux-4.4.14/arch/x86/xen/
H A Dxen-ops.h38 void __init xen_reserve_special_pages(void);
H A Denlighten.c1628 xen_reserve_special_pages(); xen_start_kernel()
H A Dmmu.c2300 void __init xen_reserve_special_pages(void) xen_reserve_special_pages() function

Completed in 66 milliseconds