| /linux/rust/zerocopy/src/ |
| H A D | byte_slice.rs | 377 let slc = v.as_slice(); in prove_split_at_unchecked() localVariable
379 kani::assume(mid <= slc.len()); in prove_split_at_unchecked()
380 let (l, r) = unsafe { slc.split_at_unchecked(mid) }; in prove_split_at_unchecked()
381 assert_eq!(l.len() + r.len(), slc.len()); in prove_split_at_unchecked()
383 let slc: *const _ = slc; in prove_split_at_unchecked() localVariable
387 assert_eq!(slc.cast::<u8>(), l.cast::<u8>()); in prove_split_at_unchecked()
388 assert_eq!(unsafe { slc.cast::<u8>().add(mid) }, r.cast::<u8>()); in prove_split_at_unchecked()
391 let slc = v.as_mut_slice(); in prove_split_at_unchecked() localVariable
392 let len = slc.len(); in prove_split_at_unchecked()
394 kani::assume(mid <= slc.len()); in prove_split_at_unchecked()
[all …]
|
| H A D | lib.rs | 1077 let slc = ptr as *const [()]; in pointer_to_metadata() localVariable
1085 let slc = unsafe { &*slc }; in pointer_to_metadata() localVariable
1098 slc.len() in pointer_to_metadata()
6484 fn from_mut_slice(slc: &mut [u8]) -> &mut Unsized { in from_mut_slice()
6492 unsafe { mem::transmute(slc) } in from_mut_slice()
7557 let (slc, rest) = <u32>::slice_from_prefix(bytes, 0).unwrap(); in test_deprecated_from_bytes()
7558 assert!(slc.is_empty()); in test_deprecated_from_bytes()
7561 let (rest, slc) = <u32>::slice_from_suffix(bytes, 0).unwrap(); in test_deprecated_from_bytes()
7562 assert!(slc.is_empty()); in test_deprecated_from_bytes()
7565 let (slc, rest) = <u32>::mut_slice_from_prefix(mut_bytes, 0).unwrap(); in test_deprecated_from_bytes()
[all …]
|
| H A D | layout.rs | 1773 … let slc = NonNull::slice_from_raw_parts(NonNull::from(&aligned_buf.t), elems); in test_validate_rust_layout() localVariable
1775 NonNull::new(slc.as_ptr() as *mut Foo).unwrap() in test_validate_rust_layout()
|
| H A D | impls.rs | 1842 let slc = vec.as_slice(); in test_impls() localVariable
1843 let offset = slc.as_ptr().align_offset(align); in test_impls()
|
| /linux/drivers/gpu/drm/amd/amdkfd/ |
| H A D | cwsr_trap_handler_gfx8.asm | 352 buffer_store_dword v0, v0, s_save_buf_rsrc0, s_save_mem_offset slc:1 glc:1
353 buffer_store_dword v1, v0, s_save_buf_rsrc0, s_save_mem_offset slc:1 glc:1 offset:256
354 buffer_store_dword v2, v0, s_save_buf_rsrc0, s_save_mem_offset slc:1 glc:1 offset:256*2
355 buffer_store_dword v3, v0, s_save_buf_rsrc0, s_save_mem_offset slc:1 glc:1 offset:256*3
407 buffer_store_dwordx2 v[0:1], v2, s_save_buf_rsrc0, s_save_mem_offset offen:1 glc:1 slc:1
450 buffer_store_dword v0, v0, s_save_buf_rsrc0, s_save_mem_offset slc:1 glc:1
451 buffer_store_dword v1, v0, s_save_buf_rsrc0, s_save_mem_offset slc:1 glc:1 offset:256
452 buffer_store_dword v2, v0, s_save_buf_rsrc0, s_save_mem_offset slc:1 glc:1 offset:256*2
453 buffer_store_dword v3, v0, s_save_buf_rsrc0, s_save_mem_offset slc:1 glc:1 offset:256*3
547 buffer_load_dword v0, v0, s_restore_buf_rsrc0, s_restore_mem_offset slc:1 glc:1
[all …]
|
| H A D | cwsr_trap_handler_gfx9.asm | 57 #define VMEM_MODIFIERS slc:1 glc:1
|
| H A D | cwsr_trap_handler_gfx10.asm | 52 #define V_COHERENCE slc:1 glc:1
|
| /linux/Documentation/devicetree/bindings/mtd/ |
| H A D | lpc32xx-slc.txt | 4 - compatible: "nxp,lpc3220-slc"
27 slc: flash@20020000 {
28 compatible = "nxp,lpc3220-slc";
|
| /linux/drivers/crypto/cavium/nitrox/ |
| H A D | nitrox_reqmgr.c | 474 sr->instr.slc.value[0] = 0; in nitrox_process_se_request()
475 sr->instr.slc.s.ssz = sr->out.sgmap_cnt; in nitrox_process_se_request()
476 sr->instr.slc.bev[0] = cpu_to_be64(sr->instr.slc.value[0]); in nitrox_process_se_request()
479 sr->instr.slc.s.rptr = cpu_to_be64(sr->out.sgcomp_dma); in nitrox_process_se_request()
|
| H A D | nitrox_req.h | 406 union slc_store_info slc; member
|
| /linux/rust/zerocopy/src/pointer/ |
| H A D | ptr.rs | 1528 slc: [()], in test_try_cast_into_explicit_count() field
1541 slc: [u8], in test_try_cast_into_explicit_count() field
|