/* Change Logs: Date Author Notes  bernard the first version  */
void set_led(int state)
/* Change Logs: Date Author Notes  bernard the first version  */
void set_led(int state)
{
    if (state==1)
    {
        mbox[0] = 8*4;
        mbox[1] = MBOX_REQUEST;
        mbox[2] = 0x00038041;
        mbox[3] = 8;
        mbox[4] = 0;
        mbox[5] = 130;
        mbox[6] = 1;
        mbox[7] = MBOX_TAG_LAST;
        mbox_call(8, MMU_DISABLE);
    }
    else if (state==0)
    {
        mbox[0] = 8*4;
        mbox[1] = MBOX_REQUEST;
        mbox[2] = 0x00038041;
        mbox[3] = 8;
        mbox[4] = 0;
        mbox[5] = 130;
        mbox[6] = 0;
        mbox[7] = MBOX_TAG_LAST;
        mbox_call(8, MMU_DISABLE);
    }
}