fcf_case_t
const fcf_case_t *fcfc = fmd_ckpt_dataptr(ckp, sp);
fmd_ckpt_resv(ckp, sizeof (fcf_case_t), sizeof (uint32_t));
fcf_case_t fcfc;
(void) fmd_ckpt_section(ckp, &fcfc, FCF_SECT_CASE, sizeof (fcf_case_t));
{ sizeof (fcf_case_t), 0, sizeof (uint32_t) }, /* CASE */
fcf_case_t fcfc;