Man pages matching name vpgettimer in section 3: