Searched refs:pit (Results 1 - 18 of 18) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dpit.c15 #include <platsupport/plat/pit.h>
53 configure_pit(pit_t *pit, uint8_t mode, uint64_t ns) argument
67 error = set_pit_mode(&pit->ops, 0, mode);
74 error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, (uint8_t) (ticks & 0xFF));
80 error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, (uint8_t) (ticks >> 8) & 0xFF);
91 int pit_cancel_timeout(pit_t *pit) argument
96 return set_pit_mode(&pit->ops, 0, PITCR_MODE_ONESHOT);
99 uint64_t pit_get_time(pit_t *pit) argument
101 int error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(3), 1, 0);
109 error = ps_io_port_in(&pit
124 pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic) argument
131 pit_init(pit_t *pit, ps_io_port_ops_t io_port_ops) argument
[all...]
H A Dltimer.c50 } pit; member in union:__anon9::__anon10
100 if (!pc99_ltimer->pit.abs_time) {
105 uint64_t time = tsc_get_time(pc99_ltimer->pit.freq);
106 if (time > pc99_ltimer->pit.abs_time) {
108 pc99_ltimer->pit.abs_time = 0;
113 uint64_t ns = MIN(pc99_ltimer->pit.abs_time - time, PIT_MAX_NS);
117 return pit_set_timeout(&pc99_ltimer->pit.device, ns, false);
179 *time = tsc_get_time(pc99_ltimer->pit.freq);
212 pc99_ltimer->pit.abs_time = 0;
214 uint64_t time = tsc_get_time(pc99_ltimer->pit
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dpit.c15 #include <platsupport/plat/pit.h>
53 configure_pit(pit_t *pit, uint8_t mode, uint64_t ns) argument
67 error = set_pit_mode(&pit->ops, 0, mode);
74 error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, (uint8_t) (ticks & 0xFF));
80 error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, (uint8_t) (ticks >> 8) & 0xFF);
91 int pit_cancel_timeout(pit_t *pit) argument
96 return set_pit_mode(&pit->ops, 0, PITCR_MODE_ONESHOT);
99 uint64_t pit_get_time(pit_t *pit) argument
101 int error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(3), 1, 0);
109 error = ps_io_port_in(&pit
124 pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic) argument
131 pit_init(pit_t *pit, ps_io_port_ops_t io_port_ops) argument
[all...]
H A Dltimer.c50 } pit; member in union:__anon22::__anon23
100 if (!pc99_ltimer->pit.abs_time) {
105 uint64_t time = tsc_get_time(pc99_ltimer->pit.freq);
106 if (time > pc99_ltimer->pit.abs_time) {
108 pc99_ltimer->pit.abs_time = 0;
113 uint64_t ns = MIN(pc99_ltimer->pit.abs_time - time, PIT_MAX_NS);
117 return pit_set_timeout(&pc99_ltimer->pit.device, ns, false);
179 *time = tsc_get_time(pc99_ltimer->pit.freq);
212 pc99_ltimer->pit.abs_time = 0;
214 uint64_t time = tsc_get_time(pc99_ltimer->pit
[all...]
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dpit.h57 * Get the pit interface. This may only be called once.
59 * @param io_port_ops io port operations. This is all the pit requires.
62 int pit_init(pit_t *pit, ps_io_port_ops_t io_port_ops);
63 int pit_cancel_timeout(pit_t *pit);
64 uint64_t pit_get_time(pit_t *pit);
65 int pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic);
H A Dtimer.h16 #include <platsupport/plat/pit.h>
40 /* initialise the a pit based ltimer with a known tsc frequency */
43 /* get the tsc frequency used by a pit ltimer - invalid to call on a hpet backed ltimer */
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dpit.h57 * Get the pit interface. This may only be called once.
59 * @param io_port_ops io port operations. This is all the pit requires.
62 int pit_init(pit_t *pit, ps_io_port_ops_t io_port_ops);
63 int pit_cancel_timeout(pit_t *pit);
64 uint64_t pit_get_time(pit_t *pit);
65 int pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic);
H A Dtimer.h16 #include <platsupport/plat/pit.h>
40 /* initialise the a pit based ltimer with a known tsc frequency */
43 /* get the tsc frequency used by a pit ltimer - invalid to call on a hpet backed ltimer */
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/x86/
H A Dtsc.c35 uint64_t tsc_calculate_frequency_pit(pit_t *pit) argument
43 int UNUSED error = pit_set_timeout(pit, wait_ns, true);
49 uint64_t time_offset = pit_get_time(pit);
53 uint64_t current_time = pit_get_time(pit);
/seL4-refos-master/libs/libplatsupport/src/arch/x86/
H A Dtsc.c35 uint64_t tsc_calculate_frequency_pit(pit_t *pit) argument
43 int UNUSED error = pit_set_timeout(pit, wait_ns, true);
49 uint64_t time_offset = pit_get_time(pit);
53 uint64_t current_time = pit_get_time(pit);
/seL4-refos-master/libs/libplatsupport/arch_include/x86/platsupport/arch/
H A Dtsc.h16 #include <platsupport/plat/pit.h>
73 uint64_t tsc_calculate_frequency_pit(pit_t *pit);
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/x86/platsupport/arch/
H A Dtsc.h16 #include <platsupport/plat/pit.h>
73 uint64_t tsc_calculate_frequency_pit(pit_t *pit);
/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dpit.c9 #include <plat/machine/pit.h>
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dapic.c13 #include <plat/machine/pit.h>
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dhack.c145 /* if the boulder remains, it should fill the pit */
155 the pit will temporarily be seen even
1145 You("%s to the edge of the pit.",
1157 Norep("%s is still in a pit.",
1163 "You are still in a pit." );
1316 /* can't swap places with pet pinned in a pit by a boulder */
1520 boolean pit; local
1521 pit = (trap && (trap->ttyp == PIT || trap->ttyp == SPIKED_PIT));
1522 if (trap && pit)
1523 dotrap(trap, 0); /* fall into pit */
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dhack.c145 /* if the boulder remains, it should fill the pit */
155 the pit will temporarily be seen even
1145 You("%s to the edge of the pit.",
1157 Norep("%s is still in a pit.",
1163 "You are still in a pit." );
1316 /* can't swap places with pet pinned in a pit by a boulder */
1520 boolean pit; local
1521 pit = (trap && (trap->ttyp == PIT || trap->ttyp == SPIKED_PIT));
1522 if (trap && pit)
1523 dotrap(trap, 0); /* fall into pit */
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex1116 For example, you may suddenly fall into a pit and be stuck for a few
2626 pit, spiked pit, hole, trap door, teleportation trap, level teleporter,
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex1116 For example, you may suddenly fall into a pit and be stuck for a few
2626 pit, spiked pit, hole, trap door, teleportation trap, level teleporter,

Completed in 195 milliseconds