Lines Matching defs:class_serial_num
779 io_write_class_load(SerialNumber class_serial_num, ObjectIndex index,
782 CHECK_CLASS_SERIAL_NO(class_serial_num);
791 write_u4(class_serial_num);
800 io_write_class_unload(SerialNumber class_serial_num, ObjectIndex index)
802 CHECK_CLASS_SERIAL_NO(class_serial_num);
805 write_u4(class_serial_num);
838 char *sig, SerialNumber class_serial_num,
843 CHECK_CLASS_SERIAL_NO(class_serial_num);
851 write_u4(class_serial_num);
936 SerialNumber class_serial_num, jint lineno)
938 CHECK_CLASS_SERIAL_NO(class_serial_num);
953 write_u4(class_serial_num);
1442 io_heap_root_system_class(ObjectIndex obj_id, char *sig, SerialNumber class_serial_num)