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

/linux-4.4.14/arch/x86/xen/
H A Dxen-ops.h37 void xen_reserve_top(void);
H A Denlighten.c1647 xen_reserve_top(); xen_start_kernel()
H A Dmmu.c1755 void __init xen_reserve_top(void) xen_reserve_top() function

Completed in 96 milliseconds