Home
last modified time | relevance | path

Searched refs:itt_addr (Results 1 – 1 of 1) sorted by relevance

/components/drivers/pic/
A Dpic-gicv3-its.c200 rt_inline void its_encode_itt(struct its_command *cmd, rt_uint64_t itt_addr) in its_encode_itt() argument
202 its_mask_encode(&cmd->code[2], itt_addr >> 8, 51, 8); in its_encode_itt()

Completed in 8 milliseconds