Searched refs:start_bit (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/tools/usbboot/
H A Dmisc.c9 void sr32(u32 addr, u32 start_bit, u32 num_bits, u32 value) argument
14 tmp = readl(addr) & ~(msk << start_bit);
15 tmp |= value << start_bit;
/barrelfish-2018-10-04/tools/usbboot/include/aboot/
H A Daboot.h55 void sr32(u32 addr, u32 start_bit, u32 num_bits, u32 value);

Completed in 29 milliseconds