Home
last modified time | relevance | path

Searched refs:margin (Results 1 – 7 of 7) sorted by relevance

/device/google/cuttlefish/host/frontend/webrtc_operator/assets/
Dstyle.css19 margin: 0;
36 margin-left: 10px;
55 margin-left: 10px;
60 margin-right: 6px;
73 margin: 10px;
98 margin-left: 5px;
99 margin-right: 5px;
152 margin: 0px 0px 5px 0px;
197 margin-bottom: 10px;
Dindex.css19 margin: 0;
35 margin-left: 10px;
/device/google/gs-common/gs_watchdogd/
Dgs_watchdogd.cpp48 std::chrono::seconds margin = argc >= 3 in main() local
52 << ", margin " << margin.count() << ")!"; in main()
64 std::chrono::seconds timeout = interval + margin; in main()
82 interval = timeout > margin ? timeout - margin : 1s; in main()
86 << ", margin " << margin.count(); in main()
Dinit.gs_watchdogd.rc1 # Set watchdog timer to 30 seconds and pet it every 10 seconds to get a 20 second margin
/device/google/cuttlefish/host/frontend/webrtc/html_client/
Dstyle.css74 margin: 0;
98 margin: 100px;
126 margin: 10px;
155 margin-left: 5px;
156 margin-right: 5px;
241 margin: 5px;
248 margin: 5px;
300 margin: 0px 1px 5px 1px;
325 margin: 0px 0px 5px 0px;
353 margin: 10px;
[all …]
/device/linaro/hikey/
Dinit.common.rc109 # Set watchdog timer to 30 seconds and pet it every 10 seconds to get a 20 second margin
/device/google/raviole/audio/raven/cs35l41/fw/
Dreadme.md66 21.2.0 but withthout the de-margin of Tmax that was done in 21.2.1