Symbol: hpi_reg_ptr_t