EFI_PAGE_SIZE
bzero((void *)trampcode, EFI_PAGE_SIZE);
trampstack = trampcode + EFI_PAGE_SIZE - 8;
bzero(PT4, 3 * EFI_PAGE_SIZE);
sz = (EFI_PAGE_SIZE * pages) - efisz;
staging_end = staging + pages * EFI_PAGE_SIZE;
if (p->md_phys + p->md_pages * EFI_PAGE_SIZE < p->md_phys ||
p->md_phys + p->md_pages * EFI_PAGE_SIZE >=
#define EFI_PAGE_MASK (EFI_PAGE_SIZE - 1)