Home
last modified time | relevance | path

Searched refs:TIMER_PHYS_SECURE_PPI (Results 1 – 4 of 4) sorted by relevance

/xen/xen/arch/arm/
A Dtime.c52 ASSERT(ppi >= TIMER_PHYS_SECURE_PPI && ppi < MAX_TIMER_PPI); in timer_get_irq()
91 timer_irq[TIMER_PHYS_SECURE_PPI] = gtdt->secure_el1_interrupt; in arch_timer_acpi_init()
163 for ( i = TIMER_PHYS_SECURE_PPI; i < MAX_TIMER_PPI; i++ ) in init_dt_xen_time()
A Ddomain_build.c1062 irq[TIMER_PHYS_SECURE_PPI] = timer_get_irq(TIMER_PHYS_SECURE_PPI); in make_timer_node()
1069 irq[TIMER_PHYS_SECURE_PPI] = GUEST_TIMER_PHYS_S_PPI; in make_timer_node()
1073 dt_dprintk(" Secure interrupt %u\n", irq[TIMER_PHYS_SECURE_PPI]); in make_timer_node()
1074 set_interrupt(intrs[0], irq[TIMER_PHYS_SECURE_PPI], in make_timer_node()
A Dvtimer.c74 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_SECURE_PPI)) ) in domain_vtimer_init()
/xen/xen/include/asm-arm/
A Dtime.h22 TIMER_PHYS_SECURE_PPI = 0, enumerator

Completed in 8 milliseconds