zircon/kernel/arch/x86/mmu.cc
/**
 * @brief  check if the physical address is valid and aligned
 */
@brief  check if the physical address is valid and aligned
@brief check if the physical address is valid and aligned
bool x86_mmu_check_paddr(paddr_t paddr) {
  uint64_t max_paddr;
  if (!IS_ALIGNED(paddr, PAGE_SIZE))
    return false;
  max_paddr = ((uint64_t)1ull << g_paddr_width) - 1;
  return paddr <= max_paddr;
}
bool x86_mmu_check_paddr ( paddr_t paddr ) { uint64_t max_paddr ; if ( ! IS_ALIGNED ( paddr , PAGE_SIZE ) ) return false ; max_paddr = ( ( uint64_t ) 1ull << g_paddr_width ) - 1 ; return paddr <= max_paddr ; }
@brief  check if the physical address is valid and aligned
@brief check if the physical address is valid and aligned
/* Check to see if the address is PAGE aligned */