Changeset 313 for trunk/hal/generic


Ignore:
Timestamp:
Aug 2, 2017, 3:24:57 PM (4 years ago)
Author:
alain
Message:

RSeveral modifs in the page-fault handling.

Location:
trunk/hal/generic
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/generic/hal_gpt.h

    r41 r313  
    168168
    169169/****************************************************************************************
    170  * This function copies all valid entries from the source <src_gpt> to the <dst_pgt>.
     170 * This function copies all valid entries from the source <src_gpt> to the <dst_gpt>.
    171171 * The <src_gpt> and the <dst_gpt> point on the same physical pages.
    172172 * If the <cow> argument is true, the GPT_WRITABLE attribute is reset for all writable
  • trunk/hal/generic/hal_ppm.h

    r296 r313  
    6262void hal_core_init( boot_info_t * info );
    6363
     64/*****************************************************************************************
     65 * This function returns the PPN from the page descriptor extended pointer.
     66 *****************************************************************************************
     67 * @ page_xp   : pointer to page descriptor
     68 * @ returns physical page number
     69 ****************************************************************************************/
     70inline ppn_t hal_page2ppn( xptr_t page_xp );
    6471
     72/*****************************************************************************************
     73 * This function returns the page descriptor extended pointer from the PPN.
     74 *****************************************************************************************
     75 * @ ppn          : physical page number
     76 * @ returns extended pointer on page descriptor
     77 ****************************************************************************************/
     78inline xptr_t hal_ppn2page( ppn_t ppn );
    6579
    6680#endif  /* HAL_PPM_H_ */
  • trunk/hal/generic/hal_remote.h

    r121 r313  
    184184                        xptr_t src );
    185185
     186/*****************************************************************************************
     187 * This function makes a memset to a remote buffer in kernel space.
     188 *****************************************************************************************
     189 * @ buf_xp  : extended pointer to destination buffer.
     190 * @ byte    : Rvalue to be set in all buffer slots.
     191 * @ size    : number of bytes to move.
     192 ****************************************************************************************/
     193void hal_remote_memset( xptr_t   buf_xp,
     194                        uint8_t  byte,
     195                        uint32_t size );
     196
    186197#endif  /* _HAL_REMOTE_H_ */
Note: See TracChangeset for help on using the changeset viewer.