Searched defs:aliased_offset (Results 1 – 2 of 2) sorted by relevance
46 uint32_t aliased_offset; member50 paddr_t vbase, uint32_t aliased_offset) in vgic_v2_setup_hw()
1157 uint32_t aliased_offset = 0; in gicv2_init() local
Completed in 6 milliseconds