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