Symbol: PER_VCPU_NOTIFICATION_FLAG
drivers/firmware/arm_ffa/driver.c
1394
flags = PER_VCPU_NOTIFICATION_FLAG;
drivers/firmware/arm_ffa/driver.c
1440
flags |= (PER_VCPU_NOTIFICATION_FLAG | vcpu << 16);