MMFSA_SIZE
lpd->mmfsa_ra = va_to_pa(mmu_fault_status_area) + (MMFSA_SIZE * cpuid);
size = MMFSA_SIZE * max_ncpus;
mmu_fault_status_area + (MMFSA_SIZE * CPU->cpu_id);
mmu_fault_status_area + (MMFSA_SIZE * getprocessorid());