;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; RDOS operating system
; Copyright (C) 1988-2019, Leif Ekblad
;
; This program is free software; you can redistribute it and/or modify
; it under the terms of the GNU General Public License as published by
; the Free Software Foundation; either version 2 of the License, or
; (at your option) any later version. The only exception to this rule
; is for commercial usage in embedded systems. For information on
; usage in commercial embedded systems, contact embedded@rdos.net
;
; This program is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
; GNU General Public License for more details.
;
; You should have received a copy of the GNU General Public License
; along with this program; if not, write to the Free Software
; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
;
; The author of this program may be contacted at leif@rdos.net
;
; realtime.def
; Realtime common area
;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

; page table mappings

; FF00 0000 0000 = 1111 1111 0000 0000 : 0000 0000 0000 0000 : 0000 0000 0000 0000
; 007F 8000 0000 = 0000 0000 0111 1111 : 1000 0000 0000 0000 : 0000 0000 0000 0000
; 0000 3FC0 0000 = 0000 0000 0000 0000 : 0011 1111 1100 0000 : 0000 0000 0000 0000
; 0000 001F E000 = 0000 0000 0000 0000 : 0000 0000 0001 1111 : 1110 0000 0000 0000

realtime_heap_base   = 00000100000000000h
realtime_app_stack   = 00000020000000000h

realtime_global_base = 0FFFF800000000000h
realtime_page_table  = 0FFFFFF0000000000h
realtime_page_dir    = 0FFFFFF7F80000000h
realtime_page_ptr    = 0FFFFFF7FBFC00000h
realtime_page_pml    = 0FFFFFF7FBFDFE000h
realtime_mon_base    = 0FFFFFF8000000000h
realtime_stack_base  = 0FFFFFF8000200000h
realtime_apic_base   = 0FFFFFF8000202000h
realtime_thread_base = 0FFFFFF8000204000h
realtime_data_base   = 0FFFFFF8000206000h

RDS_NOTIFY_FLAG_BOOTED = 1
RDS_NOTIFY_FLAG_DEBUG  = 2
RDS_NOTIFY_FLAG_PHYS   = 4
RDS_NOTIFY_FLAG_LINEAR = 8
; RDS_NOTIFY_FLAG_SIGNAL = 10h