/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | exp2.c | 33 redux = 0x1.8p52 / TBLSIZE, 34 P1 = 0x1.62e42fefa39efp-1, 35 P2 = 0x1.ebfbdff82c575p-3, 36 P3 = 0x1.c6b08d704a0a6p-5, 37 P4 = 0x1.3b2ab88f70400p-7, 38 P5 = 0x1.5d88003875c74p-10; 42 0x1.6a09e667f3d5dp-1, 0x1.9880p-44, 43 0x1.6b052fa751744p-1, 0x1 [all...] |
H A D | exp2l.c | 40 redux = 0x1.8p63 / TBLSIZE, 41 P1 = 0x1.62e42fefa39efp-1, 42 P2 = 0x1.ebfbdff82c58fp-3, 43 P3 = 0x1.c6b08d7049fap-5, 44 P4 = 0x1.3b2ab6fba4da5p-7, 45 P5 = 0x1.5d8804780a736p-10, 46 P6 = 0x1.430918835e33dp-13; 49 0x1.6a09e667f3bcdp-1, -0x1.bdd3413b2648p-55, 50 0x1 [all...] |
H A D | exp2f.c | 33 redux = 0x1.8p23f / TBLSIZE, 34 P1 = 0x1.62e430p-1f, 35 P2 = 0x1.ebfbe0p-3f, 36 P3 = 0x1.c6b348p-5f, 37 P4 = 0x1.3b2c9cp-7f; 40 0x1.6a09e667f3bcdp-1, 41 0x1.7a11473eb0187p-1, 42 0x1.8ace5422aa0dbp-1, 43 0x1.9c49182a3f090p-1, 44 0x1 [all...] |
H A D | __tanl.c | 62 T3 = 0x1.5555555555555555555555555553p-2L, 63 T5 = 0x1.1111111111111111111111111eb5p-3L, 64 T7 = 0x1.ba1ba1ba1ba1ba1ba1ba1b694cd6p-5L, 65 T9 = 0x1.664f4882c10f9f32d6bbe09d8bcdp-6L, 66 T11 = 0x1.226e355e6c23c8f5b4f5762322eep-7L, 67 T13 = 0x1.d6d3d0e157ddfb5fed8e84e27b37p-9L, 68 T15 = 0x1.7da36452b75e2b5fce9ee7c2c92ep-10L, 69 T17 = 0x1.355824803674477dfcf726649efep-11L, 70 T19 = 0x1.f57d7734d1656e0aceb716f614c2p-13L, 71 T21 = 0x1 [all...] |
H A D | __expo2.c | 5 static const double kln2 = 0x1.62066151add8bp+10;
|
H A D | __expo2f.c | 5 static const float kln2 = 0x1.45c778p+7f;
|
H A D | cbrtl.c | 98 t = dt + (0x1.0p32L + 0x1.0p-31L) - 0x1.0p32; 108 t = dt + 0x2.0p-46 + 0x1.0p60L - 0x1.0p60;
|
/seL4-refos-master/libs/libmuslc/src/thread/aarch64/ |
H A D | clone.s | 2 // x0, x1, w2, x3, x4, x5, x6 5 // x8, x0, x1, x2, x3, x4 11 and x1,x1,#-16 12 stp x0,x3,[x1,#-16]! 26 1: ldp x1,x0,[sp],#16 27 blr x1
|
H A D | syscall_cp.s | 2 // x0 x1 x2 x3 x4 x5 x6 x7 5 // x8 x0 x1 x2 x3 x4 x5 21 mov x8,x1 23 mov x1,x3
|
/seL4-refos-master/libs/libmuslc/src/fenv/aarch64/ |
H A D | fenv.s | 11 mrs x1, fpcr 14 msr fpcr, x1 22 mrs x1, fpsr 30 mrs x1, fpsr 32 msr fpsr, x1 40 mrs x1, fpsr 42 msr fpsr, x1 49 mrs x1, fpcr 59 mov x1, #0 64 1: msr fpcr, x1 [all...] |
/seL4-refos-master/libs/libmuslc/src/fenv/aarch64_sel4/ |
H A D | fenv.s | 11 mrs x1, fpcr 14 msr fpcr, x1 22 mrs x1, fpsr 30 mrs x1, fpsr 32 msr fpsr, x1 40 mrs x1, fpsr 42 msr fpsr, x1 49 mrs x1, fpcr 59 mov x1, #0 64 1: msr fpcr, x1 [all...] |
/seL4-refos-master/libs/libmuslc/include/ |
H A D | fnmatch.h | 8 #define FNM_PATHNAME 0x1
|
/seL4-refos-master/libs/libmuslc/src/internal/aarch64/ |
H A D | syscall.s | 6 mov x0,x1 7 mov x1,x2
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/gnuefi/ |
H A D | crt0-efi-aarch64.S | 119 stp x0, x1, [sp, #16] 121 mov x3, x1 123 adrp x1, _DYNAMIC 124 add x1, x1, #:lo12:_DYNAMIC 128 ldp x0, x1, [sp, #16]
|
/seL4-refos-master/tools/elfloader/src/binaries/efi/gnuefi/ |
H A D | crt0-efi-aarch64.S | 119 stp x0, x1, [sp, #16] 121 mov x3, x1 123 adrp x1, _DYNAMIC 124 add x1, x1, #:lo12:_DYNAMIC 128 ldp x0, x1, [sp, #16]
|
/seL4-refos-master/libs/libmuslc/arch/aarch64/ |
H A D | syscall_arch.h | 28 register long x1 __asm__("x1") = b; 29 __asm_syscall("r"(x8), "0"(x0), "r"(x1)); 36 register long x1 __asm__("x1") = b; 38 __asm_syscall("r"(x8), "0"(x0), "r"(x1), "r"(x2)); 45 register long x1 __asm__("x1") = b; 48 __asm_syscall("r"(x8), "0"(x0), "r"(x1), "r"(x2), "r"(x3)); 55 register long x1 __asm_ [all...] |
/seL4-refos-master/kernel/src/arch/riscv/ |
H A D | traps.S | 70 LOAD x1, (-2*REGBYTES)(sp) 72 csrr x1, sscratch 74 STORE x1, (4*REGBYTES)(t0) 76 csrr x1, sstatus 77 STORE x1, (32*REGBYTES)(t0) 86 csrr x1, sscratch 87 STORE x1, (1*REGBYTES)(t0) 96 csrr x1, sepc 97 STORE x1, (33*REGBYTES)(t0) 107 addi x1, x [all...] |
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/ |
H A D | crt0.S | 23 stp x0, x1, [sp, #-16]! 32 ldp x0, x1, [sp, #-16]! 49 adr x1, _start 50 cmp x0, x1 55 sub x2, x2, x1 71 cmp x4, x1 81 cmp x0, x1 89 /* x1 = current image space */ 131 ldr x1, [x19, #0x0] // load entry point 133 br x1 [all...] |
/seL4-refos-master/tools/elfloader/src/arch-arm/64/ |
H A D | crt0.S | 23 stp x0, x1, [sp, #-16]! 32 ldp x0, x1, [sp, #-16]! 49 adr x1, _start 50 cmp x0, x1 55 sub x2, x2, x1 71 cmp x4, x1 81 cmp x0, x1 89 /* x1 = current image space */ 131 ldr x1, [x19, #0x0] // load entry point 133 br x1 [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | spell.h | 15 #define ALL_MAP 0x1
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | spell.h | 15 #define ALL_MAP 0x1
|
/seL4-refos-master/libs/libmuslc/src/setjmp/aarch64/ |
H A D | longjmp.s | 21 mov x0, x1 22 cbnz x1, 1f
|
/seL4-refos-master/libs/libmuslc/src/setjmp/aarch64_sel4/ |
H A D | longjmp.s | 21 mov x0, x1 22 cbnz x1, 1f
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/64/mode/ |
H A D | assembler.h | 106 lsr x1, x0, x2 variable 107 and x1, x1, #7 variable 108 cmp x1, #2 variable 114 mrs x1, ccsidr_el1 variable 115 and x2, x1, #7 variable 118 and x4, x4, x1, lsr #3 variable 121 and x7, x7, x1, lsr #13 variable
|
/seL4-refos-master/tools/elfloader/include/arch-arm/64/mode/ |
H A D | assembler.h | 106 lsr x1, x0, x2 variable 107 and x1, x1, #7 variable 108 cmp x1, #2 variable 114 mrs x1, ccsidr_el1 variable 115 and x2, x1, #7 variable 118 and x4, x4, x1, lsr #3 variable 121 and x7, x7, x1, lsr #13 variable
|