Searched refs:L4_START_KERNEL (Results 1 – 1 of 1) sorted by relevance
46 L4_START_KERNEL = l4_index(__START_KERNEL_map) define504 .org init_top_pgt + L4_START_KERNEL*8, 0