set_64bitが気になったので…。

ソースコード調べてみたら、こんなん出ました。

./arch/i386/kernel/vmi.c

#ifdef CONFIG_X86_PAE

static void vmi_set_pte_atomic(pte_t *ptep, pte_t pteval)
{
        /*
         * XXX This is called from set_pmd_pte, but at both PT
         * and PD layers so the VMI_PAGE_PT flag is wrong.  But
         * it is only called for large page mapping changes,
         * the Xen backend, doesn't support large pages, and the
         * ESX backend doesn't depend on the flag.
         */
        set_64bit((unsigned long long *)ptep,pte_val(pteval) );
        vmi_ops.update_pte(ptep, VMI_PAGE_PT);
}

CONFIG_X86_PAEってどこかで聞いたなぁと思って、make menuconfigで検索してみてもアカン。CONFIG_X86_PAE=yと出来ん。っていうか、そんなオプションが出てこない。まぁ、とりあえず放置。 1

1

って、このパターンが多いな。