Device(PS2M) 				//PS2 Mouse Device
{
        Name(_HID,EISAID("PNP0F13"))	// Hardware Device ID
        Method(_STA,0)		 	//Status of the PS2 Mouse device
        {
                And(FLG0,0x04,Local0)
                if(Lequal(Local0,0x04)) 
                {
                        Return(0x0F)
                }
                Else	
                {
                        Return(0x00)
                }
        }				//end _STA
                
        Name(_CRS,Buffer()		// Current Resource
        {
                0x22,			//IRQ Descriptor
                0x0,			//IRQ Mask Lo
                0x10,			//IRQ Mask Hi IRQ 12
                0x79,			//end tag
                0x00,
        })          	
}					// End of PS2M

Device(PS2K) 				// PS2 Keyboard Device
{				
        Name(_HID,EISAID("PNP0303"))	// Hardware Device ID
        Method(_STA,0)	 		//Status of the PS2 Keyboard device
        {
                     If(Lequal(KBDI,0x01))
                {
                               Return(0x00)
                       }
                Else 
                {
                        Return(0x0F)
                       }
        } 				//end _STA

        Name(_CRS,Buffer()
        {
                0x47,			// IO port descriptor
                0x01,			// 16 Bit Decode
                0x60,			// Range min. base low for Keyboard
                0x00,			// Range min. base high for Keyboard
                0x60,			// Range max. base low for Keyboard
                0x00,			// Range max. base high for Keyboard
                0x01,			// Allignment
                0x01,			// No. Contiguous ports

                0x47,			// IO port descriptor
                0x01,			// 16 Bit Decode
                0x64,			// Range min. base low for Keyboard
                0x00,			// Range min. base high for Keyboard
                0x64,			// Range max. base low for Keyboard
                0x00,			// Range max. base high for Keyboard
                0x01,			// Allignment
                0x01,			// No. Contiguous ports

                0x22,			// IRQ rescriptor
                0x02,			// Low part of IRQ mask, IRQ 1
                0x00,			// High part of IRQ mask
                

                0x79,			// End tag
                0x00
        })				// End of _CRS
}					// End of PS2K