Symbol: EFI_PAGE_SHIFT
stand/efi/loader/copy.c
136
((KERNLOAD - start) >> EFI_PAGE_SHIFT);
sys/sys/efi.h
35
#define EFI_PAGE_SIZE (1 << EFI_PAGE_SHIFT)