Home
last modified time | relevance | path

Searched refs:pge_support (Results 1 – 2 of 2) sorted by relevance

/titanic_50/usr/src/uts/i86pc/dboot/
H A Ddboot_grub.s227 testl $1, pge_support
H A Ddboot_startkern.c159 int pge_support = 0; variable
538 if (va >= target_kernel_text && pge_support) in map_ma_at_va()
2086 pge_support = 1; in startup_kernel()
2158 DBG(pge_support); in startup_kernel()
2200 bi->bi_use_pge = pge_support; in startup_kernel()