Module regs 

The kernel’s control registers (byte offsets), those of ubft_new’s HLS kernel (xubft_hw.h), so its host code drives rhdl_ubft unchanged.

Constants

AP_CTRL

ap_ctrl: bit 0 ap_start, 1 ap_done, 2 ap_idle, 3 ap_ready.

EXECUTION_CYCLES

execution_cycles.

GIE

Global interrupt enable.

ID

id.

IER

Interrupt enable.

ISR

Interrupt status.

MESSAGE_PTR

message_ptr (64 bits).

NETWORK_PTR

network_ptr (64 bits).

NODE_NUM

node_num.

SESSION

rhdl_ubft’s session (64 bits): a host-chosen id, never reused, that every signed share carries (outside ubft_new’s map, which ends at 0x74).

SK0

sk0 (64 bits); sk1, sk2, sk3 follow at +0x0c each.

STATUS

rhdl_ubft’s own read-only status words start here (the HLS kernel has nothing at or above 0x100).

WAIT

wait.