AMODE31_END
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_END, AMODE31_END);