VALID_SECSIZE
if (VALID_SECSIZE(bpb_get_BytesPerSec(bpb))) {
if (VALID_SECSIZE(bpb_get_BytesPerSec(mbr->bootinst))) {
if (!VALID_SECSIZE(secsize))
if (VALID_SECSIZE(secsize))
if (VALID_SECSIZE(arg.mi.dki_lbsize)) {
ASSERT(VALID_SECSIZE(fsp->pcfs_secsize));
if (!VALID_SECSIZE(l)) {