ioperm(0x0, 0x9, 0x3ff)
syz_read_part_table(0x0, 0x0, 0x0)