/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | pit.c | 15 #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 D | ltimer.c | 50 } 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 D | pit.c | 15 #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 D | ltimer.c | 50 } 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 D | pit.h | 57 * 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 D | timer.h | 16 #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 D | pit.h | 57 * 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 D | timer.h | 16 #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 D | tsc.c | 35 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 D | tsc.c | 35 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 D | tsc.h | 16 #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 D | tsc.h | 16 #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 D | pit.c | 9 #include <plat/machine/pit.h>
|
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | apic.c | 13 #include <plat/machine/pit.h>
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | hack.c | 145 /* 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 D | hack.c | 145 /* 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 D | Guidebook.tex | 1116 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 D | Guidebook.tex | 1116 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,
|