| /seL4-refos-master/kernel/include/drivers/timer/ |
| H A D | arm_priv.h | 13 uint32_t load; member in struct:timer
|
| /seL4-refos-master/kernel/src/arch/x86/32/ |
| H A D | machine_asm.S | 30 lgdt (%eax) # load gdtr register with gdt pointer
31 movw $SEL_DS_3, %ax # load register ax with seg selector DS
34 movw $SEL_FS, %ax # load register ax with seg selector FS
36 movw $SEL_GS, %ax # load register ax with seg selector GS
38 movw $SEL_DS_0, %ax # load register ax with seg selector for kernel DS
|
| /seL4-refos-master/kernel/src/drivers/timer/ |
| H A D | priv_timer.c | 32 priv_timer->load = TMR_LOAD;
|
| /seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | spt.h | 25 uint32_t load; /* Sets value for timer to count down */ member in struct:arm_timer
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | spt.h | 25 uint32_t load; /* Sets value for timer to count down */ member in struct:arm_timer
|
| /seL4-refos-master/kernel/tools/ |
| H A D | hardware_gen.py | 51 rules = yaml.load(args.hardware_config, Loader=yaml.FullLoader)
52 schema = yaml.load(args.hardware_schema, Loader=yaml.FullLoader)
|
| /seL4-refos-master/kernel/src/arch/x86/64/ |
| H A D | machine_asm.S | 76 lgdt (%rdi) # load gdtr with gdt pointer
77 movw $0x10, %ax # load register ax with seg selector
|
| /seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | dmt.h | 33 uint32_t load; member in struct:dmt_regs
|
| /seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
| H A D | sp804.h | 40 uint32_t load; member in struct:sp804_regs
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | dmt.h | 33 uint32_t load; member in struct:dmt_regs
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
| H A D | sp804.h | 40 uint32_t load; member in struct:sp804_regs
|
| /seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
| H A D | spt.c | 32 Functions by setting a value in the load register which the timer will move to the value
34 enabled and the value from the load register will be copied back into the value register.
154 spt->regs->load = ticks;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | spt.c | 32 Functions by setting a value in the load register which the timer will move to the value
34 enabled and the value from the load register will be copied back into the value register.
154 spt->regs->load = ticks;
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | shoehorn.py | 9 definition of the physical load address in hexadecimal of the ELF-loader in
118 definition of the physical load address in hexadecimal of the ELF-loader in
125 parser.add_argument('--load-rootservers-high', dest='load_rootservers_high',
187 warn('"--load-rootservers-high" specified but placing'
222 sys.stdout.write('#define IMAGE_START_ADDR 0x{load:x}\n'
223 .format(load=image_start_address))
|
| /seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 109 sp804_regs->load = ticks;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 109 sp804_regs->load = ticks;
|
| /seL4-refos-master/libs/libmuslc/src/fenv/i386/ |
| H A D | fenv.s | 33 # only do the expensive x87 fenv load/store when needed
|
| /seL4-refos-master/libs/libmuslc/src/fenv/i386_sel4/ |
| H A D | fenv.s | 33 # only do the expensive x87 fenv load/store when needed
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
| H A D | dmt.c | 133 * In other words, for periodic mode, load BGLOAD first, then write to
141 dmt_regs->load = ticks;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | dmt.c | 133 * In other words, for periodic mode, load BGLOAD first, then write to
141 dmt_regs->load = ticks;
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 1350 to your load. The amount that you can carry depends on your strength and
1352 stronger you are, the less the additional load will affect you. There comes
1511 single turn. Knowing how to load several rounds of ammunition at
2794 Select an alternate keystroke handler dll to load ({\it Win32 tty\/ NetHack\/} only).
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 1350 to your load. The amount that you can carry depends on your strength and
1352 stronger you are, the less the additional load will affect you. There comes
1511 single turn. Knowing how to load several rounds of ammunition at
2794 Select an alternate keystroke handler dll to load ({\it Win32 tty\/ NetHack\/} only).
|