AMODE31_START
kasan_populate(AMODE31_START, AMODE31_END, POPULATE_KASAN_ZERO_SHADOW);
pgtable_populate(AMODE31_START, AMODE31_END, POPULATE_DIRECT);
os_info_entry_add_val(OS_INFO_AMODE31_START, AMODE31_START);
amode31_offset = AMODE31_START - (unsigned long)__samode31;