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

/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dinit.c438 static inline void enable_pge(void) function
580 enable_pge();

Completed in 79 milliseconds