Searched refs:eoi_addr (Results 1 – 1 of 1) sorted by relevance
590 vm_offset_t eoi_addr = 0; in pe_arm_init_timer() local614 eoi_addr = pic_base; in pe_arm_init_timer()626 ml_init_timebase(args, tbd_funcs, eoi_addr, eoi_value); in pe_arm_init_timer()