;;-*-Lisp-*-
(in-package goal)

;; definition of type ramdisk-rpc-fill
(deftype ramdisk-rpc-fill (structure)
  ((rsvd1     int32)
   (ee-id     int32)
   (rsvd2     int32  2)
   (filename  uint128)
   )
  )

;; definition for method 3 of type ramdisk-rpc-fill
;; INFO: Used lq/sq
(defmethod inspect ((this ramdisk-rpc-fill))
  (format #t "[~8x] ~A~%" this 'ramdisk-rpc-fill)
  (format #t "~Trsvd1: ~D~%" (-> this rsvd1))
  (format #t "~Tee-id: ~D~%" (-> this ee-id))
  (format #t "~Trsvd2[2] @ #x~X~%" (-> this rsvd2))
  (format #t "~Tfilename: ~D~%" (-> this filename))
  this
  )

;; definition of type ramdisk-rpc-load
(deftype ramdisk-rpc-load (structure)
  ((rsvd    int32)
   (ee-id   int32)
   (offset  uint32)
   (length  uint32)
   )
  )

;; definition for method 3 of type ramdisk-rpc-load
(defmethod inspect ((this ramdisk-rpc-load))
  (format #t "[~8x] ~A~%" this 'ramdisk-rpc-load)
  (format #t "~Trsvd: ~D~%" (-> this rsvd))
  (format #t "~Tee-id: ~D~%" (-> this ee-id))
  (format #t "~Toffset: ~D~%" (-> this offset))
  (format #t "~Tlength: ~D~%" (-> this length))
  this
  )

;; definition of type ramdisk-rpc-load-to-ee
(deftype ramdisk-rpc-load-to-ee (structure)
  ((rsvd      int32)
   (addr      int32)
   (offset    int32)
   (length    int32)
   (filename  uint128)
   )
  )

;; definition for method 3 of type ramdisk-rpc-load-to-ee
;; INFO: Used lq/sq
(defmethod inspect ((this ramdisk-rpc-load-to-ee))
  (format #t "[~8x] ~A~%" this 'ramdisk-rpc-load-to-ee)
  (format #t "~Trsvd: ~D~%" (-> this rsvd))
  (format #t "~Taddr: ~D~%" (-> this addr))
  (format #t "~Toffset: ~D~%" (-> this offset))
  (format #t "~Tlength: ~D~%" (-> this length))
  (format #t "~Tfilename: ~D~%" (-> this filename))
  this
  )

;; definition for symbol *ramdisk-rpc*, type rpc-buffer-pair
(define *ramdisk-rpc* (new 'global 'rpc-buffer-pair (the-as uint 32) (the-as uint 1) 2))

;; definition for symbol *current-ramdisk-id*, type int
(define *current-ramdisk-id* 0)

;; definition for function ramdisk-load
(defun ramdisk-load ((file-id int) (offset uint) (length uint) (buffer pointer))
  (let ((cmd (the-as ramdisk-rpc-load (add-element *ramdisk-rpc*))))
    (set! (-> cmd offset) offset)
    (set! (-> cmd ee-id) file-id)
    (set! (-> cmd length) length)
    )
  (call *ramdisk-rpc* (the-as uint 0) buffer length)
  0
  )

;; definition for function ramdisk-sync
;; INFO: Return type mismatch int vs none.
(defun ramdisk-sync ()
  (sync *ramdisk-rpc* #t)
  0
  (none)
  )

;; failed to figure out what this is:
0