taglinefilesource code
CROSS_64KB1085drivers/block/floppy.cif (CROSS_64KB(raw_cmd->kernel_data, raw_cmd->length)) {
CROSS_64KB2561drivers/block/floppy.cif (CROSS_64KB(CURRENT->buffer, max_size << 9))