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

/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/
H A Dhsp.c47 DBELL_PENDING = 0xc enumerator in enum:dbell_reg_offset
78 assert(DBELL_TRIGGER <= offset && offset <= DBELL_PENDING);
129 uint32_t *pending_reg = hsp_get_doorbell_register(hsp_priv, db_id, DBELL_PENDING);

Completed in 78 milliseconds