Searched refs:TIMER_PHYS_NONSECURE_PPI (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/arch/arm/ |
| A D | time.c | 87 timer_irq[TIMER_PHYS_NONSECURE_PPI] = gtdt->non_secure_el1_interrupt; in arch_timer_acpi_init()
184 timer_irq[TIMER_PHYS_NONSECURE_PPI], in init_xen_time()
235 if ( irq == (timer_irq[TIMER_PHYS_NONSECURE_PPI]) && in timer_interrupt()
309 request_irq(timer_irq[TIMER_PHYS_NONSECURE_PPI], 0, timer_interrupt, in init_timer_interrupt()
314 check_timer_irq_cfg(timer_irq[TIMER_PHYS_NONSECURE_PPI], "NS-physical"); in init_timer_interrupt()
329 release_irq(timer_irq[TIMER_PHYS_NONSECURE_PPI], NULL); in deinit_timer_interrupt()
|
| A D | vtimer.c | 77 if ( !vgic_reserve_virq(d, timer_get_irq(TIMER_PHYS_NONSECURE_PPI)) ) in domain_vtimer_init()
111 ? timer_get_irq(TIMER_PHYS_NONSECURE_PPI) in vcpu_vtimer_init()
|
| A D | domain_build.c | 1063 irq[TIMER_PHYS_NONSECURE_PPI] = in make_timer_node()
1064 timer_get_irq(TIMER_PHYS_NONSECURE_PPI); in make_timer_node()
1070 irq[TIMER_PHYS_NONSECURE_PPI] = GUEST_TIMER_PHYS_NS_PPI; in make_timer_node()
1076 dt_dprintk(" Non secure interrupt %u\n", irq[TIMER_PHYS_NONSECURE_PPI]); in make_timer_node()
1077 set_interrupt(intrs[1], irq[TIMER_PHYS_NONSECURE_PPI], in make_timer_node()
|
| /xen/xen/include/asm-arm/ |
| A D | time.h | 23 TIMER_PHYS_NONSECURE_PPI = 1, enumerator
|
Completed in 9 milliseconds