Lines Matching defs:idx
198 static inline uint64_t ser_get_feature(uintptr_t base, unsigned int idx)
200 return mmio_read_64(base + ERR_FR(idx));
203 static inline uint64_t ser_get_control(uintptr_t base, unsigned int idx)
205 return mmio_read_64(base + ERR_CTLR(idx));
208 static inline uint64_t ser_get_status(uintptr_t base, unsigned int idx)
210 return mmio_read_64(base + ERR_STATUS(idx));
224 static inline void ser_set_status(uintptr_t base, unsigned int idx,
227 mmio_write_64(base + ERR_STATUS(idx), status);
230 static inline uint64_t ser_get_addr(uintptr_t base, unsigned int idx)
232 return mmio_read_64(base + ERR_ADDR(idx));
235 static inline uint64_t ser_get_misc0(uintptr_t base, unsigned int idx)
237 return mmio_read_64(base + ERR_MISC0(idx));
240 static inline uint64_t ser_get_misc1(uintptr_t base, unsigned int idx)
242 return mmio_read_64(base + ERR_MISC1(idx));
249 static inline void ser_sys_select_record(unsigned int idx)
254 assert(idx < max_idx);
256 write_errselr_el1(idx);