/seL4-camkes-master/projects/musllibc/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-camkes-master/projects/musllibc/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-camkes-master/tools/riscv-pk/machine/ |
H A D | uart.h | 16 #define UART_TXEN 0x1 17 #define UART_RXEN 0x1
|
/seL4-camkes-master/projects/musllibc/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-camkes-master/projects/musllibc/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-camkes-master/projects/musllibc/include/ |
H A D | fnmatch.h | 8 #define FNM_PATHNAME 0x1
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/tk1/sel4vmmplatsupport/plat/ |
H A D | vpci.h | 26 #define GIC_ADDRESS_CELLS 0x1
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/ |
H A D | vpci.h | 26 #define GIC_ADDRESS_CELLS 0x1
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/tx2/sel4vmmplatsupport/plat/ |
H A D | vpci.h | 26 #define GIC_ADDRESS_CELLS 0x1
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/tx1/sel4vmmplatsupport/plat/ |
H A D | vpci.h | 26 #define GIC_ADDRESS_CELLS 0x1
|
/seL4-camkes-master/projects/musllibc/src/internal/aarch64/ |
H A D | syscall.s | 6 mov x0,x1 7 mov x1,x2
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | testdtbmatchquery.py | 59 'this-address-cells': [0x1], 60 'this-size-cells': [0x1], 71 '#address-cells': [0x1], 78 'dmas': [0x17, 0xb, 0x8, 0x1, 0x17, 0xc, 0x8, 0x2], 81 'this-address-cells': [0x1], 82 'this-size-cells': [0x1], 95 'interrupt-parent': [0x1], 100 'this-address-cells': [0x1], 101 'this-size-cells': [0x1], 120 'this-address-cells': [0x1], [all...] |
/seL4-camkes-master/tools/seL4/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-camkes-master/projects/musllibc/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-camkes-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-camkes-master/tools/seL4/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-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | hid.h | 33 GET_REPORT = 0x1, //Mandatory for all devices 42 REPORT_INPUT = 0x1, 49 HID_PORT_REPORT = 0x1
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_mld.h | 26 #define MLD_STATE_DELAYING_LISTENER (0x1) 41 #define MLD_EVENT_START_LISTENING (0x1) 47 #define MLD_EVENT_DONE_RECV (0x1) 50 #define MLD_EVENT_CREATE_GROUP (0x1) 76 #define MLD_HOST_LAST (0x1)
|