Searched refs:idc_base (Results 1 – 1 of 1) sorted by relevance
55 vaddr_t idc_base = aplic_get_idc_base(); in aplic_claim_interrupt() local57 id = io_read32(idc_base + APLIC_IDC_CLAIMI); in aplic_claim_interrupt()174 vaddr_t idc_base = aplic_get_idc_base(); in aplic_init_per_hart() local176 io_write32(idc_base + APLIC_IDC_IDELIVERY, APLIC_ENABLE_IDELIVERY); in aplic_init_per_hart()177 io_write32(idc_base + APLIC_IDC_ITHRESHOLD, APLIC_ENABLE_ITHRESHOLD); in aplic_init_per_hart()