Community
Participate
Working Groups
when hitting a breakpoint on get_sb_nodev while linux is booting we get: get_sb_nodev(fs_type=(struct file_system_type *) 0xc1708340, flags=-2147483648, data=(void *) 0x0, fill_super=(int (*)(struct super_block *, void *, ??)) 0xc118a7a0, mnt=(struct vfsmount *) 0xcf010200) at /home/wruser/talos_simics/builds/lx-common_pc/build/linux/fs/super.c:880 the function is declared as: int get_sb_nodev(struct file_system_type *fs_type, int flags, void *data, int (*fill_super)(struct super_block *, void *, int), struct vfsmount *mnt) one of the 'int' type isn't reported properly