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
って、このパターンが多いな。