Symbol: machpcb_t