gicActionLazyReset(3) on Linux

The text c3b319a85c71, as Debian 4.0 (Etch) shipped it.

gicActionLazyReset(3) on Linux now