v_block_mapped
phys_addr_t v_block_mapped(unsigned long va)
static inline phys_addr_t v_block_mapped(unsigned long va) { return 0; }
phys_addr_t v_block_mapped(unsigned long va)
phys_addr_t v_block_mapped(unsigned long va)