cea_set_pte
cea_set_pte(cea, pa, prot);
cea_set_pte(cea, 0, PAGE_NONE);
extern void cea_set_pte(void *cea_vaddr, phys_addr_t pa, pgprot_t flags);
cea_set_pte(CPU_ENTRY_AREA_RO_IDT_VADDR, __pa_symbol(idt_table),
cea_set_pte(cea_vaddr, per_cpu_ptr_to_phys(ptr), prot);
cea_set_pte(cea, 0, PAGE_NONE);
cea_set_pte(&cea->gdt, get_cpu_gdt_paddr(cpu), gdt_prot);