/* The return value is PDC_OK (0) in case accessing this address is valid.  */
int pdc_add_valid(unsigned long address)
/* The return value is PDC_OK (0) in case accessing this address is valid.  */
int pdc_add_valid(unsigned long address)
{
        int retval;
	unsigned long flags;
        spin_lock_irqsave(&pdc_lock, flags);
        retval = mem_pdc_call(PDC_ADD_VALID, PDC_ADD_VALID_VERIFY, address);
        spin_unlock_irqrestore(&pdc_lock, flags);
        return retval;
}