Searched refs:KERNEL_TEXT_i386_xpv (Results 1 – 2 of 2) sorted by relevance
154 #define KERNEL_TEXT_i386_xpv \ macro275 #define KERNEL_TEXT KERNEL_TEXT_i386_xpv
1974 target_kernel_text = KERNEL_TEXT_i386_xpv; in startup_kernel()