Searched defs:vbase (Results 1 – 4 of 4) sorted by relevance
31 paddr_t vbase; /* Virtual CPU interface address */ member38 paddr_t vbase, uint32_t aliased_offset) in vgic_v2_setup_hw()262 paddr_t vbase; in vgic_v2_map_resources() local
44 paddr_t vbase; member51 paddr_t vbase, uint32_t aliased_offset) in vgic_v2_setup_hw()654 paddr_t vbase; in vgic_v2_domain_init() local
1028 static paddr_t __initdata hbase, dbase, cbase, csize, vbase; variable
1332 static paddr_t __initdata vbase = INVALID_PADDR, vsize = 0; variable
Completed in 11 milliseconds