- l -

• LPI_DEFAULT_PCPU_CACHE_SIZE : vgic-its.c
• LPI_PROP_ENABLE_BIT : vgic-its.c
• LPI_PROP_PRIORITY : vgic-its.c