64 /* Worked example: ULP32 with 64-byte cacheline (32-bit x86): * 15 tags per cacheline. At most 2^17 fat pointers per fatp_ctl_t. * The comments on the fatp_mi members, below, correspond to the worked * example. */