Searched refs:program (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | dma330.h | 60 * @param[in] program The physical address of the DMA330 micro-code to execute.
65 int dma330_xfer(dma330_t* dma330, int channel, uintptr_t program, dma330_signal_cb cb, void* token);
79 * Compiles a dma330 program.
80 * 32 bytes will be reserved at the beginning of the program for argument passing
81 * @param[in] source_code DMA330 assembly program
82 * @param[out] bin The resulting binary program
88 * Loads a preset micro code for a copy program
89 * The copy program sends signal #0 + channel when complete
90 * @param[in] channel The channel which the program will be executed on
91 * @param[out] bin An address to store the compiled dma330 program t
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | dma330.h | 60 * @param[in] program The physical address of the DMA330 micro-code to execute.
65 int dma330_xfer(dma330_t* dma330, int channel, uintptr_t program, dma330_signal_cb cb, void* token);
79 * Compiles a dma330 program.
80 * 32 bytes will be reserved at the beginning of the program for argument passing
81 * @param[in] source_code DMA330 assembly program
82 * @param[out] bin The resulting binary program
88 * Loads a preset micro code for a copy program
89 * The copy program sends signal #0 + channel when complete
90 * @param[in] channel The channel which the program will be executed on
91 * @param[out] bin An address to store the compiled dma330 program t
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 447 printf("DMAC program @ 0x%08x", (uint32_t)bin);
543 dma330_xfer(dma330_t* dma330_ptr, int ch, uintptr_t program, dma330_signal_cb cb, void* token) argument
556 ZF_LOGD("Executing 0x%x on channel %d\n", program, ch);
560 dmac_exec(dma330, DMAI_NS_GO(ch, program), -1);
565 ZF_LOGD("Transfer @ 0x%x completed with status: 0x%x\n", program, status);
646 "DMAEND" /* End program */
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 447 printf("DMAC program @ 0x%08x", (uint32_t)bin);
543 dma330_xfer(dma330_t* dma330_ptr, int ch, uintptr_t program, dma330_signal_cb cb, void* token) argument
556 ZF_LOGD("Executing 0x%x on channel %d\n", program, ch);
560 dmac_exec(dma330, DMAI_NS_GO(ch, program), -1);
565 ZF_LOGD("Transfer @ 0x%x completed with status: 0x%x\n", program, status);
646 "DMAEND" /* End program */
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | protocol.tex | 182 C box C [ label = "Exits program" ];
389 C box C [ label = "jump to program entry point"];
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | io.tex | 112 A malicious or buggy device driver may, however, program the device to
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 937 Quit the program without saving your game.
2148 program crash (default on).
2605 program.)
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 937 Quit the program without saving your game.
2148 program crash (default on).
2605 program.)
|
Completed in 197 milliseconds