Symbol: alloc_insn_page