CPU_ENTRY_AREA_MAP_SIZE
(addr64 >= (CPU_ENTRY_AREA_BASE + CPU_ENTRY_AREA_MAP_SIZE)))
CPU_ENTRY_AREA_MAP_SIZE))
BUILD_BUG_ON((CPU_ENTRY_AREA_PAGES+1)*PAGE_SIZE != CPU_ENTRY_AREA_MAP_SIZE);
end = start + CPU_ENTRY_AREA_MAP_SIZE;
max_cea = (CPU_ENTRY_AREA_MAP_SIZE - PAGE_SIZE) / CPU_ENTRY_AREA_SIZE;
CPU_ENTRY_AREA_MAP_SIZE);