Searched refs:properties (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/drivers/
A D	gic.c	212 static int gic_dt_get_irq(const uint32_t *properties, int count, uint32_t *type, in gic_dt_get_irq() argument 223 if (!properties || count < 2) in gic_dt_get_irq() 226 it_num = fdt32_to_cpu(properties[1]); in gic_dt_get_irq() 228 switch (fdt32_to_cpu(properties[0])) { in gic_dt_get_irq()
/optee_os/core/include/kernel/
A D	interrupt.h	27 int (*dt_get_irq)(const uint32_t *properties, int count, uint32_t *type,

Completed in 5 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023