7 unsigned char bus_8132_0;
8 unsigned char bus_8132_1;
9 unsigned char bus_8132_2;
10 unsigned char bus_8111_0;
11 unsigned char bus_8111_1;
13 unsigned char bus_8132a[7][3];
15 unsigned char bus_8151[7][2];
18 unsigned apicid_8132_1;
19 unsigned apicid_8132_2;
20 unsigned apicid_8132a[7][2];