reg_mask_set
reg_mask_set(intc, word));
cpu->map_base + reg_mask_set(intc, i));
intc->cpus[boot_cpu]->map_base + reg_mask_set(intc, word));
intc->cpus[boot_cpu]->map_base + reg_mask_set(intc, word));