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