Searched refs:addr (Results 176 - 184 of 184) sorted by relevance
12345678
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | vspace_internal.h | 30 #define INDEX_FOR_LEVEL(addr, l) ( ( (addr) >> ((l) * VSPACE_LEVEL_BITS + PAGE_BITS_4K)) & MASK(VSPACE_LEVEL_BITS))
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | dgn_yacc.c | 57 # define memset(addr,val,len) setmem(addr,len,val)
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | dgn_yacc.c | 57 # define memset(addr,val,len) setmem(addr,len,val)
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | libfdt.h | 1370 int fdt_add_reservemap_entry(void *fdt, uint64_t addr, uint64_t size);
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 224 * @param addr address the IPC buffer was mapped in to. 227 void vspace_free_ipc_buffer(vspace_t *vspace, void *addr);
|
/seL4-refos-master/libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 224 * @param addr address the IPC buffer was mapped in to. 227 void vspace_free_ipc_buffer(vspace_t *vspace, void *addr);
|
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 566 word_t addr; local 569 addr = getFaultAddr(); 574 current_fault = seL4_Fault_VMFault_new(addr, fault, false); 578 current_fault = seL4_Fault_VMFault_new(addr, fault, true);
|
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 1220 tk1_i2c_set_hsmode_master_address(i2c_bus_t* ib, int addr) argument 1224 s->master.hsmode_master_address = addr & TK1I2C_I2CPKT_HS_MASTER_ADDR_MASK;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 1220 tk1_i2c_set_hsmode_master_address(i2c_bus_t* ib, int addr) argument 1224 s->master.hsmode_master_address = addr & TK1I2C_I2CPKT_HS_MASTER_ADDR_MASK;
|
Completed in 146 milliseconds
12345678