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