Searched refs:KERNEL_TEXT_amd64 (Results 1 – 2 of 2) sorted by relevance
144 #define KERNEL_TEXT_amd64 UINT64_C(0xfffffffffb800000) macro211 #define KERNEL_TEXT KERNEL_TEXT_amd64
1462 target_kernel_text = KERNEL_TEXT_amd64; in startup_kernel()