Sign in
android
/
platform
/
hardware
/
bsp
/
kernel
/
freescale
/
picoimx-3.14
/
45fcb2fc79add1f1174c972b25601a4c996cc272
/
.
/
arch
/
x86
/
mm
/
physaddr.h
blob: a3cd5a0c97b3ec7316eafffc977e465c58661b8f [
file
] [
log
] [
blame
]
#include
<asm/processor.h>
static
inline
int
phys_addr_valid
(
resource_size_t
addr
)
{
#ifdef
CONFIG_PHYS_ADDR_T_64BIT
return
!(
addr
>>
boot_cpu_data
.
x86_phys_bits
);
#else
return
1
;
#endif
}