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