Home
last modified time | relevance | path

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

/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_grub.S234 testl $1, pge_support
H A Ddboot_startkern.c175 int pge_support = 0; variable
555 if (va >= target_kernel_text && pge_support) in map_ma_at_va()
2424 pge_support = 1; in startup_kernel()
2499 DBG(pge_support); in startup_kernel()
2542 bi->bi_use_pge = pge_support; in startup_kernel()