Searched refs:INITIAL_PENDBASER_VALUE (Results 1 – 1 of 1) sorted by relevance
266 #define INITIAL_PENDBASER_VALUE \ macro292 vcpu->arch.vgic_cpu.pendbaser = INITIAL_PENDBASER_VALUE; in vgic_v3_enable()