Searched refs:L4_START_KERNEL (Results 1 – 1 of 1) sorted by relevance
42 L4_START_KERNEL = pgd_index(__START_KERNEL_map) define94 addq %rbp, early_level4_pgt + (L4_START_KERNEL*8)(%rip)470 .org init_level4_pgt + L4_START_KERNEL*8, 0