Searched refs:vaddr_t (Results 1 - 7 of 7) sorted by relevance
/freebsd-11-stable/stand/mips/beri/common/ |
H A D | mips.h | 43 typedef unsigned long vaddr_t; /* Virtual address */ typedef 58 static inline vaddr_t 65 static inline vaddr_t 96 mips_ioread_uint8(vaddr_t vaddr) 105 mips_iowrite_uint8(vaddr_t vaddr, uint8_t v) 112 mips_ioread_uint32(vaddr_t vaddr) 121 mips_iowrite_uint32(vaddr_t vaddr, uint32_t v) 131 mips_ioread_uint32le(vaddr_t vaddr) 138 mips_iowrite_uint32le(vaddr_t vaddr, uint32_t v)
|
/freebsd-11-stable/sys/dev/altera/jtag_uart/ |
H A D | altera_jtag_uart_cons.c | 102 typedef uint64_t vaddr_t; typedef 104 static inline vaddr_t 112 mips_ioread_uint32(vaddr_t vaddr) 121 mips_iowrite_uint32(vaddr_t vaddr, uint32_t v) 131 mips_ioread_uint32le(vaddr_t vaddr) 138 mips_iowrite_uint32le(vaddr_t vaddr, uint32_t v)
|
/freebsd-11-stable/sys/dev/ct/ |
H A D | bshw_machdep.c | 76 typedef unsigned long vaddr_t; typedef 393 vaddr_t va, endva, phys, nphys; 401 phys = vtophys((vaddr_t) sp->scp_data); 420 endva = (vaddr_t) round_page((vaddr_t) sp->scp_data + sp->scp_datalen); 421 for (va = (vaddr_t) sp->scp_data; ; phys = nphys)
|
/freebsd-11-stable/sys/dev/bktr/ |
H A D | bktr_reg.h | 554 vaddr_t bigbuf; /* buffer that holds the captured image */ 555 vaddr_t vbidata; /* RISC program puts VBI data from the current frame here */ 556 vaddr_t vbibuffer; /* Circular buffer holding VBI data for the user */ 557 vaddr_t dma_prog; /* RISC prog for single and/or even field capture*/ 558 vaddr_t odd_dma_prog; /* RISC program for Odd field capture */
|
H A D | bktr_os.c | 1320 if ((vaddr_t)offset < 0) 1323 if ((vaddr_t)offset >= bktr->alloc_pages * PAGE_SIZE) 1328 (vaddr_t)offset, nprot, BUS_DMA_WAITOK));
|
/freebsd-11-stable/contrib/netbsd-tests/sys/uvm/ |
H A D | t_uvm_physseg_load.c | 79 typedef unsigned long vaddr_t; typedef
|
H A D | t_uvm_physseg.c | 79 typedef unsigned long vaddr_t; typedef
|
Completed in 91 milliseconds