Searched refs:x1 (Results 126 - 150 of 158) sorted by relevance
1234567
/seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/ |
H A D | filterProgScript.sml | 135 >> first_x_assum(MATCH_MP_TAC o Q.SPECL [`finals`,`Vector l`, `x1`]) 140 >> first_x_assum(MATCH_MP_TAC o Q.SPECL [`n`,`ORD h`,`x1`])
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | lan9730.c | 162 #define PHYAN_AD_PAUSE_SYM (0x1 * BIT(10)) 175 #define PHYAN_ADLP_PAUSE_SYM (0x1 * BIT(10)) 319 if (ep & 0x1) {
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_igmp.c | 32 #define IGMP_STATE_DELAYING_MEMBER (0x1) 37 #define IGMP_EVENT_CREATE_GROUP (0x1) 59 #define IGMP_HOST_LAST (0x1)
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | bilbyfs.h | 426 BILBYFS_TRANS_ST = 0x1, 429 BILBYFS_TRANS_ATOM = 0x1 | 0x4, 663 #define BILBYFS_FS_DIRTY 0x1
|
/seL4-camkes-master/kernel/src/arch/arm/machine/ |
H A D | debug.c | 424 return 0x1; 441 case 0x1: 743 case 0x1:
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | marvell.c | 322 /* In reg 20, write MODE[2:0] = 0x1 (SGMII to Copper) */ 471 reg = (reg & ~0xf) | 0x1;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | serial.c | 75 IIR_INT_SOURCE_NO_INTERRUPT = 0x1,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
H A D | clock.c | 121 #define CLK_SEL_XUSBXTI 0x1
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | encoding.h | 630 #define MATCH_C_NOP 0x1 664 #define MATCH_C_ADDI 0x1 762 #define CSR_FFLAGS 0x1 974 #define CAUSE_FETCH_ACCESS 0x1
|
H A D | mentry.S | 224 li x1, 0
|
/seL4-camkes-master/projects/musllibc/src/string/arm/ |
H A D | memcpy_le.S | 187 tst r2, #0x1
|
/seL4-camkes-master/projects/musllibc/src/string/arm_sel4/ |
H A D | memcpy_le.S | 187 tst r2, #0x1
|
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
H A D | evtdev.c | 60 #define EVTDEV_F_OVERFLOW 0x1 /* ring overflow */
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | ip6_addr.h | 220 #define IP6_MULTICAST_SCOPE_INTERFACE_LOCAL 0x1
|
H A D | sockets.h | 495 #define POLLIN 0x1
|
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/ |
H A D | ppp_impl.h | 330 #define PAP_WITHPEER 0x1
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | serial.c | 395 mr |= UART_MR_PAR(0x1);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | mux.c | 673 m->iomuxc->i2c2_scl_in_select_input = IOMUXC_IS_DAISY(0x1); 676 m->iomuxc->i2c2_sda_in_select_input = IOMUXC_IS_DAISY(0x1);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | serial.c | 69 #define CON_MODE_POLL 0x1
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | pci_helper.c | 76 .revision_id = 0x1,
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | fault.c | 481 assert(!(addr & 0x1));
|
/seL4-camkes-master/tools/rumprun/app-tools/ |
H A D | rumprun | 167 ifmac=$(od -N 3 -A n -t x1 /dev/urandom | xargs printf "52:54:00:%s:%s:%s\n")
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_fragments.c | 752 b->frag = 0x1; /* set more flag */ 1014 b->frag = 0x20 | 0x1; /* off = 32 */
|
/seL4-camkes-master/projects/util_libs/libpci/include/pci/ |
H A D | helper.h | 25 #define PCI_COMMAND_IO 0x1 /* Enable response in I/O space */ 412 #define PCI_EXP_TYPE_LEG_END 0x1 /* Legacy Endpoint */ 457 #define PCI_EXP_LNKCAP_SLS_2_5GB 0x1 /* LNKCAP2 SLS Vector bit 0 (2.5GT/s) */ 720 #define HT_MSI_FLAGS_ENABLE 0x1 /* Mapping enable */ 804 #define PCI_SRIOV_VFM_MI 0x1 /* Dormant.MigrateIn */
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | bootup.tex | 28 first slot of the CNode has CPTR 0x0, the second slot has CPTR 0x1 etc.
|
Completed in 177 milliseconds
1234567