function miss10_cachein() /* entry=362 class_id=0x0916 slot=0x04 */
{
  entry:
    set_info(0x0213, *(arg_06));
    process_exclude();
    /* pop_global global_id=0x1F size=0x1 */
    return;

}
