Data Fields | |
dif_mbx_t * | mbx |
dif_mbx_irq_state_snapshot_t | irq_state |
dif_mbx_transaction_t * | txn |
mbx_txn_state_t | txn_state |
dif_mbx_irq_t | mbx_irq_serviced |
dif_rv_plic_irq_id_t | plic_irq_serviced |
Definition at line 48 of file mbx_smoketest.c.
dif_mbx_irq_state_snapshot_t mbx_test_handler_state::irq_state |
Definition at line 50 of file mbx_smoketest.c.
dif_mbx_t* mbx_test_handler_state::mbx |
Definition at line 49 of file mbx_smoketest.c.
dif_mbx_irq_t mbx_test_handler_state::mbx_irq_serviced |
Definition at line 53 of file mbx_smoketest.c.
dif_rv_plic_irq_id_t mbx_test_handler_state::plic_irq_serviced |
Definition at line 54 of file mbx_smoketest.c.
dif_mbx_transaction_t* mbx_test_handler_state::txn |
Definition at line 51 of file mbx_smoketest.c.
mbx_txn_state_t mbx_test_handler_state::txn_state |
Definition at line 52 of file mbx_smoketest.c.