v_block_mapped
if (v_block_mapped((unsigned long)addr))
phys_addr_t v_block_mapped(unsigned long va);
if (!v_block_mapped((unsigned long)_sinittext)) {
if (v_block_mapped((unsigned long)_stext + 1))