XEHPC_EUSTALL_REPORT_WRITE_PTR_MASK
write_ptr = REG_FIELD_GET(XEHPC_EUSTALL_REPORT_WRITE_PTR_MASK, write_ptr_reg);